, including all inherited members.
| actions_ | Clasp::DomainHeuristic | [private] |
| ActionVec typedef | Clasp::DomainHeuristic | [private] |
| addAction(Solver &s, const SymbolType &pre, const DomEntry &e) | Clasp::DomainHeuristic | [private] |
| addAction(Solver &s, Literal x, uint32 modf, int16 levVal) | Clasp::DomainHeuristic | [private] |
| applyAction(Solver &s, DomAction &act, uint16 &oldPrio) | Clasp::DomainHeuristic | [private] |
| BaseType typedef | Clasp::DomainHeuristic | |
| bump(const Solver &s, const WeightLitVec &lits, double adj) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| ClaspVsids_t(double d=0.95, const HeuParams ¶ms=HeuParams()) | Clasp::ClaspVsids_t< DomScore > | [explicit] |
| clause() | Clasp::Constraint | [private, virtual] |
| cloneAttach(Solver &) | Clasp::DomainHeuristic | [inline, protected, virtual] |
| Constraint() | Clasp::Constraint | [private] |
| decay_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| DecisionHeuristic() | Clasp::DecisionHeuristic | [inline] |
| defaultLiteral(Solver &s, Var v) | Clasp::DecisionHeuristic | [inline, static] |
| destroy(Solver *s=0, bool detach=false) | Clasp::Constraint | [private, virtual] |
| detach() | Clasp::DomainHeuristic | [protected] |
| DomainHeuristic(double d=0.95, const HeuParams ¶ms=HeuParams()) | Clasp::DomainHeuristic | [explicit] |
| domEnd_s | Clasp::DomainHeuristic | [private, static] |
| domKey_s | Clasp::DomainHeuristic | [private, static] |
| doSelect(Solver &s) | Clasp::DomainHeuristic | [protected, virtual] |
| dPrios_ | Clasp::DomainHeuristic | [private] |
| endInit(const DomEntry &e, const DomPrio &prio) | Clasp::DomainHeuristic | [inline, private] |
| ClaspVsids_t< DomScore >::endInit(Solver &) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [private, virtual] |
| frames_ | Clasp::DomainHeuristic | [private] |
| FrameVec typedef | Clasp::DomainHeuristic | [private] |
| GlobalModifier enum name | Clasp::DomainHeuristic | |
| GlobalPreference enum name | Clasp::DomainHeuristic | |
| gmod_false enum value | Clasp::DomainHeuristic | |
| gmod_level enum value | Clasp::DomainHeuristic | |
| gmod_max_value enum value | Clasp::DomainHeuristic | |
| gmod_sneg enum value | Clasp::DomainHeuristic | |
| gmod_spos enum value | Clasp::DomainHeuristic | |
| gmod_true enum value | Clasp::DomainHeuristic | |
| gpref_atom enum value | Clasp::DomainHeuristic | |
| gpref_disj enum value | Clasp::DomainHeuristic | |
| gpref_hcc enum value | Clasp::DomainHeuristic | |
| gpref_min enum value | Clasp::DomainHeuristic | |
| gpref_scc enum value | Clasp::DomainHeuristic | |
| gpref_show enum value | Clasp::DomainHeuristic | |
| inc_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| incOcc(Literal p) | Clasp::ClaspVsids_t< DomScore > | [inline, protected] |
| initScores(Solver &s, bool moms) | Clasp::DomainHeuristic | [protected, virtual] |
| match(const char *&in, const char *match) | Clasp::DomainHeuristic | [private, static] |
| matchDom(const char *&in, std::string &out) | Clasp::DomainHeuristic | [private, static] |
| matchInt(const char *&in, int &out) | Clasp::DomainHeuristic | [private, static] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [private, virtual] |
| minLits_ | Clasp::DomainHeuristic | [private] |
| newConstraint(const Solver &s, const Literal *first, LitVec::size_type size, ConstraintType t) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| normalize() | Clasp::ClaspVsids_t< DomScore > | [protected] |
| occ(Var v) const | Clasp::ClaspVsids_t< DomScore > | [inline, protected] |
| occ_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| OccVec typedef | Clasp::ClaspVsids_t< DomScore > | [protected] |
| PrioVec typedef | Clasp::DomainHeuristic | [private] |
| propagate(Solver &, Literal, uint32 &) | Clasp::DomainHeuristic | [protected, virtual] |
| pushUndo(Solver &s, uint32 actionId) | Clasp::DomainHeuristic | [private] |
| reason(Solver &, Literal, LitVec &) | Clasp::DomainHeuristic | [inline, protected, virtual] |
| score_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| ScoreVec typedef | Clasp::ClaspVsids_t< DomScore > | [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< DomScore > | [protected, virtual] |
| ClaspVsids_t< DomScore >::simplify(const Solver &, LitVec::size_type) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| Clasp::Constraint::simplify(Solver &s, bool reinit=false) | Clasp::Constraint | [private, virtual] |
| solver_ | Clasp::DomainHeuristic | [private] |
| startInit(const Solver &s) | Clasp::DomainHeuristic | [virtual] |
| SymbolMap typedef | Clasp::DomainHeuristic | [private] |
| SymbolType typedef | Clasp::DomainHeuristic | [private] |
| type() const | Clasp::Constraint | [private, virtual] |
| types_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| undoLevel(Solver &s) | Clasp::DomainHeuristic | [protected, virtual] |
| undoUntil(const Solver &, LitVec::size_type) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| updateReason(const Solver &s, const LitVec &lits, Literal resolveLit) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| updateVar(const Solver &s, Var v, uint32 n) | Clasp::ClaspVsids_t< DomScore > | [virtual] |
| updateVarActivity(Var v, double f=1.0) | Clasp::ClaspVsids_t< DomScore > | [inline, protected] |
| valid(Solver &s) | Clasp::Constraint | [private, virtual] |
| VarOrder typedef | Clasp::ClaspVsids_t< DomScore > | [protected] |
| vars_ | Clasp::ClaspVsids_t< DomScore > | [protected] |
| ~Constraint() | Clasp::Constraint | [private, virtual] |
| ~DecisionHeuristic() | Clasp::DecisionHeuristic | [virtual] |
| ~DomainHeuristic() | Clasp::DomainHeuristic | |