SAT::CNF_Formula_Impl Member List

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

addLiteral(Lit l, bool invert=false)	SAT::CNF_Formula	[inline]
begin() const	SAT::CNF_Formula_Impl	[inline, virtual]
CNF_Formula()	SAT::CNF_Formula	[inline]
CNF_Formula_Impl()	SAT::CNF_Formula_Impl	[inline]
CNF_Formula_Impl(const CNF_Formula &cnf)	SAT::CNF_Formula_Impl	[inline]
const_iterator typedef	SAT::CNF_Formula
copy(const CNF_Formula &cnf)	SAT::CNF_Formula	[protected]
d_current	SAT::CNF_Formula	[protected]
d_formula	SAT::CNF_Formula_Impl	[private]
d_lits	SAT::CNF_Formula_Impl	[private]
d_numVars	SAT::CNF_Formula_Impl	[private]
deleteLast()	SAT::CNF_Formula_Impl	[inline]
empty() const	SAT::CNF_Formula_Impl	[inline, virtual]
end() const	SAT::CNF_Formula_Impl	[inline, virtual]
getCurrentClause()	SAT::CNF_Formula	[inline]
newClause()	SAT::CNF_Formula_Impl	[virtual]
numClauses() const	SAT::CNF_Formula_Impl	[inline, virtual]
numVars() const	SAT::CNF_Formula_Impl	[inline, virtual]
operator+=(const CNF_Formula &cnf)	SAT::CNF_Formula
operator+=(const Clause &c)	SAT::CNF_Formula
operator[](int i) const	SAT::CNF_Formula_Impl	[inline, virtual]
print() const	SAT::CNF_Formula
registerUnit()	SAT::CNF_Formula_Impl	[virtual]
reset()	SAT::CNF_Formula_Impl
setNumVars(unsigned numVars)	SAT::CNF_Formula_Impl	[inline, private, virtual]
simplify()	SAT::CNF_Formula_Impl
~CNF_Formula()	SAT::CNF_Formula	[inline, virtual]
~CNF_Formula_Impl()	SAT::CNF_Formula_Impl	[inline]

---