, including all inherited members.
| activity() const | Clasp::ClauseHead | [inline, virtual] |
| attach(Solver &s) | Clasp::ClauseHead | |
| BoolPair typedef | Clasp::ClauseHead | |
| bumpActivity() | Clasp::ClauseHead | [inline] |
| clause() | Clasp::ClauseHead | [inline, virtual] |
| ClauseHead(const ClauseInfo &init) | Clasp::ClauseHead | [explicit] |
| ClauseWatch | Clasp::ClauseHead | [friend] |
| clearTagged() | Clasp::ClauseHead | [inline, protected] |
| cloneAttach(Solver &other) | Clasp::mt::SharedLitsClause | [virtual] |
| Constraint() | Clasp::Constraint | |
| data_ | Clasp::ClauseHead | [protected] |
| decreaseActivity() | Clasp::ClauseHead | [inline, virtual] |
| destroy(Solver *s, bool detach) | Clasp::mt::SharedLitsClause | [virtual] |
| detach(Solver &s) | Clasp::ClauseHead | [virtual] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| hasLbd() const | Clasp::ClauseHead | [inline, protected] |
| head_ | Clasp::ClauseHead | [protected] |
| HEAD_LITS enum value | Clasp::ClauseHead | |
| info_ | Clasp::ClauseHead | [protected] |
| isOpen(const Solver &s, const TypeSet &t, LitVec &freeLits) | Clasp::mt::SharedLitsClause | [virtual] |
| isReverseReason(const Solver &s, Literal p, uint32 maxL, uint32 maxN) | Clasp::mt::SharedLitsClause | [virtual] |
| lbd() const | Clasp::ClauseHead | [inline] |
| lbd(uint32 x) | Clasp::ClauseHead | [inline] |
| learnt() const | Clasp::ClauseHead | [inline] |
| LearntConstraint() | Clasp::LearntConstraint | |
| locked(const Solver &s) const | Clasp::ClauseHead | [virtual] |
| MAX_ACTIVITY enum value | Clasp::ClauseHead | |
| MAX_LBD enum value | Clasp::ClauseHead | |
| MAX_SHORT_LEN enum value | Clasp::ClauseHead | |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::mt::SharedLitsClause | [virtual] |
| newClause(Solver &s, SharedLiterals *shared_lits, const ClauseInfo &e, const Literal *lits, bool addRef=true) | Clasp::mt::SharedLitsClause | [static] |
| propagate(Solver &s, Literal, uint32 &data) | Clasp::ClauseHead | [virtual] |
| reason(Solver &s, Literal p, LitVec &out) | Clasp::mt::SharedLitsClause | [virtual] |
| resetActivity(Activity a) | Clasp::ClauseHead | [inline, virtual] |
| satisfied(const Solver &s) | Clasp::ClauseHead | |
| setLbd(uint32 x) | Clasp::ClauseHead | [inline, protected] |
| SharedLitsClause(Solver &s, SharedLiterals *x, const Literal *lits, const ClauseInfo &, bool addRef) | Clasp::mt::SharedLitsClause | [private] |
| simplify(Solver &s, bool) | Clasp::mt::SharedLitsClause | [virtual] |
| size() const | Clasp::mt::SharedLitsClause | [virtual] |
| strengthen(Solver &s, Literal p, bool allowToShort) | Clasp::mt::SharedLitsClause | [private, virtual] |
| tagged() const | Clasp::ClauseHead | [inline] |
| TAGGED_CLAUSE enum value | Clasp::ClauseHead | |
| toImplication(Solver &s) | Clasp::ClauseHead | [protected] |
| toLits(LitVec &out) const | Clasp::mt::SharedLitsClause | [virtual] |
| type() const | Clasp::ClauseHead | [inline, virtual] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| updateWatch(Solver &s, uint32 pos) | Clasp::mt::SharedLitsClause | [private, virtual] |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~LearntConstraint() | Clasp::LearntConstraint | [protected] |