17 const std::size_t _distance)
32 const std::size_t _upper,
33 const std::size_t _lower,
API to expression classes for bitvectors.
A base class for binary expressions.
A base class for expressions that are predicates, i.e., Boolean-typed, and that take exactly two argu...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
Base class for all expressions.
void add_to_operands(const exprt &expr)
Add the given argument to the end of exprt's operands.
Unbounded, signed integers (mathematical integers, not bitvectors)
shift_exprt(exprt _src, const irep_idt &_id, exprt _distance)
The type of an expression, extends irept.
#define PRECONDITION(CONDITION)