CVC3  2.4.1
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_Formulainline
begin() const =0SAT::CNF_Formulapure virtual
CNF_Formula()SAT::CNF_Formulainline
const_iterator typedefSAT::CNF_Formula
copy(const CNF_Formula &cnf)SAT::CNF_Formulaprotected
d_currentSAT::CNF_Formulaprotected
empty() const =0SAT::CNF_Formulapure virtual
end() const =0SAT::CNF_Formulapure virtual
getCurrentClause()SAT::CNF_Formulainline
newClause()=0SAT::CNF_Formulapure virtual
numClauses() const =0SAT::CNF_Formulapure virtual
numVars() const =0SAT::CNF_Formulapure virtual
operator+=(const CNF_Formula &cnf)SAT::CNF_Formula
operator+=(const Clause &c)SAT::CNF_Formula
operator[](int i) const =0SAT::CNF_Formulapure virtual
print() const SAT::CNF_Formula
registerUnit()=0SAT::CNF_Formulapure virtual
setNumVars(unsigned numVars)=0SAT::CNF_Formulaprotectedpure virtual
~CNF_Formula()SAT::CNF_Formulainlinevirtual