NormalForm Class Reference

List of all members.

Public Member Functions
	NormalForm (CNode *n, bool is_dnf)
set< Clause * > *	get_clauses ()
string	to_string (VarMap &vm)
CNode *	get_constraint ()
Static Public Member Functions
static CNode *	get_constraint_from_clause (Clause *c, bool use_and)

---

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

• solver/NormalForm.h
• solver/NormalForm.cpp