22 if(lhs_root != rhs_root)
23 map[lhs_root] = rhs_root;
52 std::vector<std::pair<exprt, exprt>> equations;
53 for(
const auto &pair :
map)
54 equations.emplace_back(pair.first,
find(pair.second));
bool replace_expr(exprt &expr) const
Replace subexpressions of expr by a canonical element of the set they belong to.
exprt make_union(const exprt &a, const exprt &b)
Keeps a map of symbols to expressions, such as none of the mapped values exist as a key...
exprt find(exprt expr) const
Base class for all expressions.
std::vector< std::pair< exprt, exprt > > to_vector() const