44 static_cast<const exprt &
>(
static_cast<const irept &
>(type));
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void read(const typet &type)
Base class for all expressions.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const irep_idt & id() const
const irep_idt & get_value() const
The type of an expression, extends irept.
#define forall_operands(it, expr)
const string_constantt & to_string_constant(const exprt &expr)
const type_with_subtypest & to_type_with_subtypes(const typet &type)
const type_with_subtypet & to_type_with_subtype(const typet &type)