42 exprt::operandst::iterator it=
dest.operands().begin();
bitvector_typet char_type()
bitvector_typet c_index_type()
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Array constructor from list of elements.
const typet & element_type() const
The type of the elements of the array.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
typet & type()
Return the type of the expression.
void set(const irep_idt &name, const irep_idt &value)
const irep_idt & id() const
const std::string & get_string(const irep_idt &name) const
An expression without operands.
string_constantt(const irep_idt &value)
array_exprt to_array_expr() const
convert string into array constant
void set_value(const irep_idt &value)
The type of an expression, extends irept.
API to expression classes.
const array_typet & to_array_type(const typet &type)
Cast a typet to an array_typet.