28 components().emplace_back(
"content", content_type);
The type of an expression, extends irept.
Type for string expressions used by the string solver.
const componentst & components() const
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
refined_string_typet(const typet &index_type, const pointer_typet &content_type)
API to expression classes.
void set_tag(const irep_idt &tag)
bitvector_typet index_type()