12 #ifndef CPROVER_GOTO_PROGRAMS_CLASS_IDENTIFIER_H 13 #define CPROVER_GOTO_PROGRAMS_CLASS_IDENTIFIER_H 21 const exprt &this_expr,
exprt get_class_identifier_field(const exprt &this_expr, const struct_tag_typet &suggested_type, const namespacet &ns)
A struct tag type, i.e., struct_typet with an identifier.
void set_class_identifier(struct_exprt &expr, const namespacet &ns, const struct_tag_typet &class_type)
If expr has its components filled in then sets the @class_identifier member of the struct.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Base class for all expressions.
Struct constructor from list of elements.