9 #ifndef CPROVER_ANSI_C_MERGED_TYPE_H 10 #define CPROVER_ANSI_C_MERGED_TYPE_H 33 !static_cast<const type_with_subtypest &>(type).subtypes().empty(),
34 "merge_typet has at least one subtype");
43 !static_cast<const type_with_subtypest &>(type).subtypes().empty(),
44 "merge_typet has at least one subtype");
48 #endif // CPROVER_ANSI_C_MERGED_TYPE_H The type of an expression, extends irept.
Type with multiple subtypes.
holds a combination of types
const irep_idt & id() const
const merged_typet & to_merged_type(const typet &type)
conversion to merged_typet
#define PRECONDITION(CONDITION)
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions, goto_programs, exprts, etc.
Defines typet, type_with_subtypet and type_with_subtypest.