12 #ifndef CPROVER_UTIL_REF_EXPR_SET_H 13 #define CPROVER_UTIL_REF_EXPR_SET_H 15 #include <unordered_set> 25 typedef std::unordered_set<exprt, irep_hash>
expr_sett;
40 return d->expr_set.empty();
45 return read().expr_set;
50 return write().expr_set;
67 return make_union(s2.
d->expr_set);
73 size_t old_size=tmp.size();
74 tmp.insert(s2.begin(), s2.end());
77 if(tmp.size()==old_size)
86 write().expr_set.swap(s2);
90 #endif // CPROVER_UTIL_REF_EXPR_SET_H ref_expr_set_dt::expr_sett expr_sett
std::unordered_set< exprt, irep_hash > expr_sett
bool make_union(const expr_sett &s2)
bool make_union(const ref_expr_sett &s2)
const expr_sett & expr_set() const
expr_sett & expr_set_write()
static const ref_expr_set_dt blank
const std::unordered_set< exprt, irep_hash > empty_expr_set