CNF Class Reference

List of all members.

Public Member Functions
	CNF (CNode *node, minisat::Solver &s)
vec< minisat::Lit > *	add_clause (CNode *clause, minisat::Solver &s)
void	and_cnf (CNF &other)
string	to_string ()
set< vec< minisat::Lit > * > &	get_cnf ()
Leaf *	get_leaf_from_literal (minisat::Var l)
void	and_node (CNode *node, minisat::Solver &s)
map< minisat::Var, CNode * > &	get_var_to_node_map ()

---

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

• solver/CNF.h
• solver/CNF.cpp