Simplifier Member List

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

get_simplification() (defined in Simplifier)	Simplifier
Simplifier(CNode *node, CNode *background) (defined in Simplifier)	Simplifier
Simplifier(CNode *node, DPLLSolver *dpll_solver, bool switch_to_boolean) (defined in Simplifier)	Simplifier
~Simplifier() (defined in Simplifier)	Simplifier