10 #ifndef CPROVER_SOLVERS_FLATTENING_BOOLBV_MAP_H 11 #define CPROVER_SOLVERS_FLATTENING_BOOLBV_MAP_H 55 std::string get_value(
const propt &)
const;
58 typedef std::unordered_map<irep_idt, map_entryt, irep_id_hash>
mappingt;
70 const std::size_t width,
84 #endif // CPROVER_SOLVERS_FLATTENING_BOOLBV_MAP_H map_entryt & get_map_entry(const irep_idt &identifier, const typet &type)
The type of an expression.
const boolbv_widtht & boolbv_width
boolbv_mapt(propt &_prop, const namespacet &_ns, const boolbv_widtht &_boolbv_width)
void set_literals(const irep_idt &identifier, const typet &type, const bvt &literals)
std::vector< map_bitt > literal_mapt
std::unordered_map< irep_idt, map_entryt, irep_id_hash > mappingt
void get_literals(const irep_idt &identifier, const typet &type, const std::size_t width, bvt &literals)
std::vector< literalt > bvt