CVC3  2.4.1
SAT::CD_CNF_Formula Member List

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

addLiteral(Lit l, bool invert=false)SAT::CNF_Formulainline
begin() const SAT::CD_CNF_Formulainlinevirtual
CD_CNF_Formula(CVC3::Context *context)SAT::CD_CNF_Formulainline
CNF_Formula()SAT::CNF_Formulainline
const_iterator typedefSAT::CNF_Formula
copy(const CNF_Formula &cnf)SAT::CNF_Formulaprotected
d_currentSAT::CNF_Formulaprotected
d_formulaSAT::CD_CNF_Formulaprivate
d_numVarsSAT::CD_CNF_Formulaprivate
deleteLast()SAT::CD_CNF_Formulainline
empty() const SAT::CD_CNF_Formulainlinevirtual
end() const SAT::CD_CNF_Formulainlinevirtual
getCurrentClause()SAT::CNF_Formulainline
newClause()SAT::CD_CNF_Formulavirtual
numClauses() const SAT::CD_CNF_Formulainlinevirtual
numVars() const SAT::CD_CNF_Formulainlinevirtual
operator+=(const CNF_Formula &cnf)SAT::CNF_Formula
operator+=(const Clause &c)SAT::CNF_Formula
operator[](int i) const SAT::CD_CNF_Formulainlinevirtual
print() const SAT::CNF_Formula
registerUnit()SAT::CD_CNF_Formulavirtual
setNumVars(unsigned numVars)SAT::CD_CNF_Formulainlineprivate
~CD_CNF_Formula()SAT::CD_CNF_Formulainline
~CNF_Formula()SAT::CNF_Formulainlinevirtual