This is the complete list of members for
Clasp::ClaspBerkmin, including all inherited members.
| bump(const Solver &s, const WeightLitVec &lits, double adj) | Clasp::ClaspBerkmin | [virtual] |
| cache_ | Clasp::ClaspBerkmin | [private] |
| cacheFront_ | Clasp::ClaspBerkmin | [private] |
| cacheSize_ | Clasp::ClaspBerkmin | [private] |
| ClaspBerkmin(uint32 maxBerk=0, const HeuParams ¶ms=HeuParams(), bool berkHuang=false) | Clasp::ClaspBerkmin | [explicit] |
| DecisionHeuristic() | Clasp::DecisionHeuristic | [inline] |
| defaultLiteral(Solver &s, Var v) | Clasp::DecisionHeuristic | [inline, static] |
| doSelect(Solver &s) | Clasp::ClaspBerkmin | [protected, virtual] |
| endInit(Solver &s) | Clasp::ClaspBerkmin | [virtual] |
| freeLits_ | Clasp::ClaspBerkmin | [private] |
| freeOtherLits_ | Clasp::ClaspBerkmin | [private] |
| front_ | Clasp::ClaspBerkmin | [private] |
| getMostActiveFreeVar(const Solver &s) | Clasp::ClaspBerkmin | [private] |
| getTopMoms(const Solver &s) | Clasp::ClaspBerkmin | [private] |
| hasActivities() const | Clasp::ClaspBerkmin | [inline, private] |
| hasActivities(bool b) | Clasp::ClaspBerkmin | [inline, private] |
| hasTopUnsat(Solver &s) | Clasp::ClaspBerkmin | [private] |
| initHuang() const | Clasp::ClaspBerkmin | [inline, private] |
| initHuang(bool b) | Clasp::ClaspBerkmin | [inline, private] |
| maxBerkmin_ | Clasp::ClaspBerkmin | [private] |
| newConstraint(const Solver &s, const Literal *first, LitVec::size_type size, ConstraintType t) | Clasp::ClaspBerkmin | [virtual] |
| numVsids_ | Clasp::ClaspBerkmin | [private] |
| order_ | Clasp::ClaspBerkmin | [private] |
| Pos typedef | Clasp::ClaspBerkmin | [private] |
| rng_ | Clasp::ClaspBerkmin | [private] |
| Scores typedef | Clasp::ClaspBerkmin | [private] |
| select(Solver &s) | Clasp::DecisionHeuristic | [inline] |
| selectLiteral(Solver &s, Var v, bool vsids) const | Clasp::ClaspBerkmin | [private] |
| Clasp::DecisionHeuristic::selectLiteral(Solver &s, Var v, int signScore) | Clasp::DecisionHeuristic | [inline, static] |
| selectRange(Solver &s, const Literal *first, const Literal *last) | Clasp::ClaspBerkmin | [private, virtual] |
| simplify(const Solver &, LitVec::size_type) | Clasp::DecisionHeuristic | [inline, virtual] |
| startInit(const Solver &s) | Clasp::ClaspBerkmin | [virtual] |
| topConflict_ | Clasp::ClaspBerkmin | [private] |
| topOther_ | Clasp::ClaspBerkmin | [private] |
| types_ | Clasp::ClaspBerkmin | [private] |
| undoUntil(const Solver &, LitVec::size_type) | Clasp::ClaspBerkmin | [virtual] |
| updateReason(const Solver &s, const LitVec &lits, Literal resolveLit) | Clasp::ClaspBerkmin | [virtual] |
| updateVar(const Solver &s, Var v, uint32 n) | Clasp::ClaspBerkmin | [virtual] |
| ~DecisionHeuristic() | Clasp::DecisionHeuristic | [virtual] |