This is the complete list of members for
Clasp::LoopFormula, including all inherited members.
| act_ | Clasp::LoopFormula | [private] |
| activity() const | Clasp::LoopFormula | [inline, virtual] |
| addAtom(Literal atom, Solver &s) | Clasp::LoopFormula | |
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &) | Clasp::LoopFormula | [inline, virtual] |
| Constraint() | Clasp::Constraint | |
| decreaseActivity() | Clasp::LoopFormula | [inline, virtual] |
| destroy(Solver *=0, bool=false) | Clasp::LoopFormula | [virtual] |
| end_ | Clasp::LoopFormula | [private] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| isOpen(const Solver &s, const TypeSet &t, LitVec &freeLits) | Clasp::LoopFormula | [virtual] |
| isTrue(const Solver &s, uint32 idx) | Clasp::LoopFormula | [private] |
| LearntConstraint() | Clasp::LearntConstraint | |
| lits_ | Clasp::LoopFormula | [private] |
| locked(const Solver &s) const | Clasp::LoopFormula | [virtual] |
| LoopFormula(Solver &s, uint32 size, Literal *bodyLits, uint32 numBodies, uint32 bodyToWatch, const Activity &a) | Clasp::LoopFormula | [private] |
| minimize(Solver &s, Literal p, CCMinRecursive *ccMin) | Clasp::LoopFormula | [virtual] |
| newLoopFormula(Solver &s, Literal *bodyLits, uint32 numBodies, uint32 bodyToWatch, uint32 numAtoms, const Activity &act) | Clasp::LoopFormula | [static] |
| other_ | Clasp::LoopFormula | [private] |
| propagate(Solver &s, Literal p, uint32 &data) | Clasp::LoopFormula | [virtual] |
| reason(Solver &, Literal p, LitVec &lits) | Clasp::LoopFormula | [virtual] |
| resetActivity(Activity hint) | Clasp::LoopFormula | [inline, virtual] |
| simplify(Solver &s, bool=false) | Clasp::LoopFormula | [virtual] |
| size() const | Clasp::LoopFormula | |
| size_ | Clasp::LoopFormula | [private] |
| type() const | Clasp::LoopFormula | [inline, virtual] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| updateHeuristic(Solver &s) | Clasp::LoopFormula | |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| watchable(const Solver &s, uint32 idx) | Clasp::LoopFormula | [private] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~LearntConstraint() | Clasp::LearntConstraint | [protected] |