signedbv_typet signed_long_int_type()
unsignedbv_typet unsigned_int_type()
unsignedbv_typet unsigned_long_int_type()
signedbv_typet signed_int_type()
floatbv_typet double_type()
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
typet & type()
Return the type of the expression.
const irep_idt & id() const
Semantic type conversion.
The type of an expression, extends irept.
API to expression classes for Pointers.
const address_of_exprt & to_address_of_expr(const exprt &expr)
Cast an exprt to an address_of_exprt.
exprt simplify_expr(exprt src, const namespacet &ns)
API to expression classes.
const index_exprt & to_index_expr(const exprt &expr)
Cast an exprt to an index_exprt.