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