Simplifier Class Reference

List of all members.

Public Member Functions
	Simplifier (CNode *node, CNode *background)
	Simplifier (CNode *node, DPLLSolver *dpll_solver, bool switch_to_boolean)
CNode *	get_simplification ()

---

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

• solver/Simplifier.h
• solver/Simplifier.cpp