type.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Implementations of some functions of typet
 
Author: Daniel Kroening, kroening@kroening.com
        Maria Svorenova, maria.svorenova@diffblue.com
 
\*******************************************************************/
 
 
#include "type.h"
 
void type_with_subtypest::copy_to_subtypes(const typet &type)
{
  subtypes().push_back(type);
}
void type_with_subtypest::copy_to_subtypes(const typet &type) {…}
 
void type_with_subtypest::move_to_subtypes(typet &type)
{
  subtypest &sub=subtypes();
  sub.push_back(static_cast<const typet &>(get_nil_irep()));
  sub.back().swap(type);
}
void type_with_subtypest::move_to_subtypes(typet &type) {…}
 
typet remove_const(typet type)
{
  type.remove(ID_C_constant);
  return type;
}
typet remove_const(typet type) {…}