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=0SAT::CNF_Formula [pure virtual]
CNF_Formula()SAT::CNF_Formula [inline]
const_iterator typedefSAT::CNF_Formula
copy(const CNF_Formula &cnf)SAT::CNF_Formula [protected]
d_currentSAT::CNF_Formula [protected]
empty() const=0SAT::CNF_Formula [pure virtual]
end() const=0SAT::CNF_Formula [pure virtual]
getCurrentClause()SAT::CNF_Formula [inline]
newClause()=0SAT::CNF_Formula [pure virtual]
numClauses() const=0SAT::CNF_Formula [pure virtual]
numVars() const=0SAT::CNF_Formula [pure virtual]
operator+=(const CNF_Formula &cnf)SAT::CNF_Formula
operator+=(const Clause &c)SAT::CNF_Formula
operator[](int i) const =0SAT::CNF_Formula [pure virtual]
print() constSAT::CNF_Formula
registerUnit()=0SAT::CNF_Formula [pure virtual]
setNumVars(unsigned numVars)=0SAT::CNF_Formula [protected, pure virtual]
~CNF_Formula()SAT::CNF_Formula [inline, virtual]


Generated on Tue Jul 3 14:42:21 2007 for CVC3 by  doxygen 1.5.1