CVC3  2.4.1
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_Formulainline
begin() const SAT::CNF_Formula_Implinlinevirtual
CNF_Formula()SAT::CNF_Formulainline
CNF_Formula_Impl()SAT::CNF_Formula_Implinline
CNF_Formula_Impl(const CNF_Formula &cnf)SAT::CNF_Formula_Implinline
const_iterator typedefSAT::CNF_Formula
copy(const CNF_Formula &cnf)SAT::CNF_Formulaprotected
d_currentSAT::CNF_Formulaprotected
d_formulaSAT::CNF_Formula_Implprivate
d_litsSAT::CNF_Formula_Implprivate
d_numVarsSAT::CNF_Formula_Implprivate
deleteLast()SAT::CNF_Formula_Implinline
empty() const SAT::CNF_Formula_Implinlinevirtual
end() const SAT::CNF_Formula_Implinlinevirtual
getCurrentClause()SAT::CNF_Formulainline
newClause()SAT::CNF_Formula_Implvirtual
numClauses() const SAT::CNF_Formula_Implinlinevirtual
numVars() const SAT::CNF_Formula_Implinlinevirtual
operator+=(const CNF_Formula &cnf)SAT::CNF_Formula
operator+=(const Clause &c)SAT::CNF_Formula
operator[](int i) const SAT::CNF_Formula_Implinlinevirtual
print() const SAT::CNF_Formula
registerUnit()SAT::CNF_Formula_Implvirtual
reset()SAT::CNF_Formula_Impl
setNumVars(unsigned numVars)SAT::CNF_Formula_Implinlineprivate
simplify()SAT::CNF_Formula_Impl
~CNF_Formula()SAT::CNF_Formulainlinevirtual
~CNF_Formula_Impl()SAT::CNF_Formula_Implinline