9 #ifndef CPROVER_ANSI_C_TYPEDEF_TYPE_H 10 #define CPROVER_ANSI_C_TYPEDEF_TYPE_H 26 set(ID_identifier, identifier);
31 return get(ID_identifier);
63 return type.id() == ID_typedef_type;
66 #endif // CPROVER_ANSI_C_TYPEDEF_TYPE_H The type of an expression, extends irept.
typedef_typet(const irep_idt &identifier)
void set_identifier(const irep_idt &identifier)
const irep_idt & get_identifier() const
const irep_idt & id() const
#define PRECONDITION(CONDITION)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
bool can_cast_type< typedef_typet >(const typet &type)
const typedef_typet & to_typedef_type(const typet &type)
Cast a generic typet to a typedef_typet.
Defines typet, type_with_subtypet and type_with_subtypest.