28 components().emplace_back(
"content", char_array);
The type of an expression.
Type for string expressions used by the string solver.
const componentst & components() const
An expression denoting infinity.
API to expression classes.
void set_tag(const irep_idt &tag)
bitvector_typet index_type()
refined_string_typet(const typet &index_type, const typet &char_type)
bitvector_typet char_type()