Go to the documentation of this file.
18 const auto &values = expr.
values();
20 for(
auto &binding :
make_range(variables).zip(values))
27 const irep_idt &
id = binding.first.get_identifier();
37 for(
auto &variable : variables)
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
binding_exprt::variablest & variables()
convenience accessor for binding().variables()
Ranges: pair of begin and end iterators, which can be initialized from containers,...
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
Convert expression to vector of literalts, using an internal cache to speed up conversion if availabl...
virtual bvt convert_let(const let_exprt &)
exprt & where()
convenience accessor for binding().where()
API to expression classes.
ranget< iteratort > make_range(iteratort begin, iteratort end)
void set_literals(const irep_idt &identifier, const typet &type, const bvt &literals)