EqualityFinder Class Reference

List of all members.

Public Member Functions
	EqualityFinder (CNode *node, Term *var, bool find_disjunctive_eqs)
const set< Term * > &	get_equalities ()
const map< Term *, CNode * > &	get_disjunctive_equalities ()

---

The documentation for this class was generated from the following files:

• solver/EqualityFinder.h
• solver/EqualityFinder.cpp