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] |
