This is the complete list of members for union_find_replacet, including all inherited members.

find(exprt expr) const	union_find_replacet
make_union(const exprt &a, const exprt &b)	union_find_replacet
map	union_find_replacet	private
replace_expr(exprt &expr) const	union_find_replacet
to_vector() const	union_find_replacet