This is the complete list of members for
Clasp::LearntConstraint, including all inherited members.
| activity() const | Clasp::LearntConstraint | [virtual] |
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &other)=0 | Clasp::Constraint | [pure virtual] |
| Constraint() | Clasp::Constraint | |
| decreaseActivity() | Clasp::LearntConstraint | [virtual] |
| destroy(Solver *s=0, bool detach=false) | Clasp::Constraint | [virtual] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| isOpen(const Solver &s, const TypeSet &t, LitVec &freeLits)=0 | Clasp::LearntConstraint | [pure virtual] |
| LearntConstraint() | Clasp::LearntConstraint | |
| locked(const Solver &s) const =0 | Clasp::LearntConstraint | [pure virtual] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [virtual] |
| propagate(Solver &s, Literal p, uint32 &data)=0 | Clasp::Constraint | [pure virtual] |
| reason(Solver &s, Literal p, LitVec &lits)=0 | Clasp::Constraint | [pure virtual] |
| resetActivity(Activity hint) | Clasp::LearntConstraint | [virtual] |
| simplify(Solver &s, bool reinit=false) | Clasp::Constraint | [virtual] |
| type() const | Clasp::LearntConstraint | [virtual] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~LearntConstraint() | Clasp::LearntConstraint | [protected] |