SAT::CNF_Formula Member List

This is the complete list of members for SAT::CNF_Formula, including all inherited members.

addLiteral(Lit l, bool invert=false)	SAT::CNF_Formula	inline
begin() const =0	SAT::CNF_Formula	pure virtual
CNF_Formula()	SAT::CNF_Formula	inline
const_iterator typedef	SAT::CNF_Formula
copy(const CNF_Formula &cnf)	SAT::CNF_Formula	protected
d_current	SAT::CNF_Formula	protected
empty() const =0	SAT::CNF_Formula	pure virtual
end() const =0	SAT::CNF_Formula	pure virtual
getCurrentClause()	SAT::CNF_Formula	inline
newClause()=0	SAT::CNF_Formula	pure virtual
numClauses() const =0	SAT::CNF_Formula	pure virtual
numVars() const =0	SAT::CNF_Formula	pure virtual
operator+=(const CNF_Formula &cnf)	SAT::CNF_Formula
operator+=(const Clause &c)	SAT::CNF_Formula
operator[](int i) const =0	SAT::CNF_Formula	pure virtual
print() const	SAT::CNF_Formula
registerUnit()=0	SAT::CNF_Formula	pure virtual
setNumVars(unsigned numVars)=0	SAT::CNF_Formula	protectedpure virtual
~CNF_Formula()	SAT::CNF_Formula	inlinevirtual