, including all inherited members.
| bump(const Solver &s, const WeightLitVec &lits, double adj) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| ClaspVsids_t(double d=0.95, const HeuParams ¶ms=HeuParams()) | Clasp::ClaspVsids_t< ScoreType > | [explicit] |
| decay_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| DecisionHeuristic() | Clasp::DecisionHeuristic | [inline] |
| defaultLiteral(Solver &s, Var v) | Clasp::DecisionHeuristic | [inline, static] |
| doSelect(Solver &s) | Clasp::ClaspVsids_t< ScoreType > | [protected, virtual] |
| endInit(Solver &) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| inc_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| incOcc(Literal p) | Clasp::ClaspVsids_t< ScoreType > | [inline, protected] |
| initScores(Solver &s, bool moms) | Clasp::ClaspVsids_t< ScoreType > | [protected, virtual] |
| newConstraint(const Solver &s, const Literal *first, LitVec::size_type size, ConstraintType t) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| normalize() | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| occ(Var v) const | Clasp::ClaspVsids_t< ScoreType > | [inline, protected] |
| occ_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| OccVec typedef | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| score_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| ScoreVec typedef | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| select(Solver &s) | Clasp::DecisionHeuristic | [inline] |
| selectLiteral(Solver &s, Var v, int signScore) | Clasp::DecisionHeuristic | [inline, static] |
| selectRange(Solver &s, const Literal *first, const Literal *last) | Clasp::ClaspVsids_t< ScoreType > | [protected, virtual] |
| simplify(const Solver &, LitVec::size_type) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| startInit(const Solver &s) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| types_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| undoUntil(const Solver &, LitVec::size_type) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| updateReason(const Solver &s, const LitVec &lits, Literal resolveLit) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| updateVar(const Solver &s, Var v, uint32 n) | Clasp::ClaspVsids_t< ScoreType > | [virtual] |
| updateVarActivity(Var v, double f=1.0) | Clasp::ClaspVsids_t< ScoreType > | [inline, protected] |
| VarOrder typedef | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| vars_ | Clasp::ClaspVsids_t< ScoreType > | [protected] |
| ~DecisionHeuristic() | Clasp::DecisionHeuristic | [virtual] |