12 #ifndef CPROVER_ANSI_C_ANONYMOUS_MEMBER_H 13 #define CPROVER_ANSI_C_ANONYMOUS_MEMBER_H 19 const exprt &struct_union,
24 const typet &struct_union_type,
28 #endif // CPROVER_ANSI_C_ANONYMOUS_MEMBER_H The type of an expression, extends irept.
bool has_component_rec(const typet &struct_union_type, const irep_idt &component_name, const namespacet &ns)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Base class for all expressions.
exprt get_component_rec(const exprt &struct_union, const irep_idt &component_name, const namespacet &ns)