57 exprt::operandst::iterator it=dest.operands().begin();
71 return std::move(dest).with_source_location(*
this);
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.
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 std::string & get_string(const irep_idt &name) const
An expression without operands.
const array_typet & type() const
const typet & char_type() const
const irep_idt & value() const
array_exprt to_array_expr() const
convert string into array constant
string_constantt(const irep_idt &)
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.
static array_typet make_type(const irep_idt &value)