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.
virtual bvt convert_let(const let_exprt &)
std::vector< literalt > bvt