dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void erase_literals(const irep_idt &identifier, const typet &type)
std::vector< literalt > bvt
typet & type()
Return the type of the expression.
const irep_idt & get_identifier() const
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
virtual bvt convert_let(const let_exprt &)
void set_literals(const irep_idt &identifier, const typet &type, const bvt &literals)