, including all inherited members.
| active_ | Clasp::WeightConstraint | [private] |
| ActiveConstraint enum name | Clasp::WeightConstraint | |
| addWatch(Solver &s, uint32 idx, ActiveConstraint c) | Clasp::WeightConstraint | [private] |
| bound_ | Clasp::WeightConstraint | [private] |
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &) | Clasp::WeightConstraint | [virtual] |
| Constraint() | Clasp::Constraint | |
| create(Solver &s, Literal W, WeightLitVec &lits, weight_t bound, uint32 creationFlags=0) | Clasp::WeightConstraint | [static] |
| create(Solver &s, Literal W, WeightLitsRep rep, uint32 creationFlags) | Clasp::WeightConstraint | [static] |
| create_eq_bound enum value | Clasp::WeightConstraint | |
| create_explicit enum value | Clasp::WeightConstraint | |
| create_no_add enum value | Clasp::WeightConstraint | |
| create_no_freeze enum value | Clasp::WeightConstraint | |
| create_no_share enum value | Clasp::WeightConstraint | |
| create_sat enum value | Clasp::WeightConstraint | |
| createImpl(Solver &s, Literal W, WeightLitsRep &rep, uint32 flags) | Clasp::WeightConstraint | [private, static] |
| CreationFlags enum name | Clasp::WeightConstraint | |
| destroy(Solver *, bool) | Clasp::WeightConstraint | [virtual] |
| estimateComplexity(const Solver &s) const | Clasp::WeightConstraint | [virtual] |
| FFB_BTB enum value | Clasp::WeightConstraint | |
| FTB_BFB enum value | Clasp::WeightConstraint | |
| getBpIndex() const | Clasp::WeightConstraint | [inline] |
| highestUndoLevel(Solver &) const | Clasp::WeightConstraint | [private] |
| integrateRoot(Solver &s) | Clasp::WeightConstraint | [private] |
| isWeight() const | Clasp::WeightConstraint | [inline] |
| lit(uint32 i, ActiveConstraint c) const | Clasp::WeightConstraint | [inline] |
| lits_ | Clasp::WeightConstraint | [private] |
| litSeen(uint32 idx) const | Clasp::WeightConstraint | [inline, private] |
| minimize(Solver &s, Literal p, CCMinRecursive *r) | Clasp::WeightConstraint | [virtual] |
| NOT_ACTIVE | Clasp::WeightConstraint | [private, static] |
| ownsLit_ | Clasp::WeightConstraint | [private] |
| propagate(Solver &s, Literal p, uint32 &data) | Clasp::WeightConstraint | [virtual] |
| reason(Solver &, Literal p, LitVec &lits) | Clasp::WeightConstraint | [virtual] |
| setBpIndex(uint32 n) | Clasp::WeightConstraint | [private] |
| simplify(Solver &s, bool=false) | Clasp::WeightConstraint | [virtual] |
| size() const | Clasp::WeightConstraint | [inline] |
| toggleLitSeen(uint32 idx) | Clasp::WeightConstraint | [inline, private] |
| type() const | Clasp::Constraint | [virtual] |
| undo_ | Clasp::WeightConstraint | [private] |
| undoLevel(Solver &s) | Clasp::WeightConstraint | [virtual] |
| undoStart() const | Clasp::WeightConstraint | [inline, private] |
| undoTop() const | Clasp::WeightConstraint | [inline, private] |
| up_ | Clasp::WeightConstraint | [private] |
| updateConstraint(Solver &s, uint32 idx, ActiveConstraint c) | Clasp::WeightConstraint | [private] |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| weight(uint32 i) const | Clasp::WeightConstraint | [inline] |
| WeightConstraint(Solver &s, SharedContext *ctx, Literal W, const WeightLitsRep &, WL *out) | Clasp::WeightConstraint | [private] |
| WeightConstraint(Solver &s, const WeightConstraint &other) | Clasp::WeightConstraint | [private] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~WeightConstraint() | Clasp::WeightConstraint | [private] |