ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

A constant literal expression.

dstringt has one field, an unsigned integer no which is an index into a static table of strings.

constant_exprt one_expr() const

constant_exprt zero_expr() const

const irep_idt & id() const

constant_exprt zero_expr() const

constant_exprt one_expr() const

constant_exprt zero_expr() const

constant_exprt one_expr() const

constant_exprt zero_expr() const

constant_exprt one_expr() const

The type of an expression, extends irept.

bool is_number(const typet &type)

Returns true if the type is a rational, real, integer, natural, complex, unsignedbv,...

API to expression classes.