This is the complete list of members for
Clasp::ModelEnumerator, including all inherited members.
| addProjectVar(SharedContext &ctx, Var v, bool mark) | Clasp::ModelEnumerator | [private] |
| commit(Solver &s) | Clasp::Enumerator | |
| commitComplete() | Clasp::Enumerator | |
| commitModel(Solver &s) | Clasp::Enumerator | |
| commitSymmetric(Solver &s) | Clasp::Enumerator | |
| commitUnsat(Solver &s) | Clasp::Enumerator | |
| ConPtr typedef | Clasp::Enumerator | |
| ConPtrConst typedef | Clasp::Enumerator | |
| constraint(const Solver &s) const | Clasp::Enumerator | [protected] |
| detect_strategy_flag enum value | Clasp::ModelEnumerator | [private] |
| detectStrategy() const | Clasp::ModelEnumerator | [inline, private] |
| doInit(SharedContext &ctx, MinimizeConstraint *m, int numModels) | Clasp::ModelEnumerator | [protected, virtual] |
| doReset() | Clasp::Enumerator | [protected, virtual] |
| end(Solver &s) const | Clasp::Enumerator | |
| enumerated() const | Clasp::Enumerator | [inline] |
| Enumerator() | Clasp::Enumerator | [explicit] |
| exhaustive() const | Clasp::Enumerator | [inline, virtual] |
| init(SharedContext &problem, SharedMinimizeData *min=0, int limit=0) | Clasp::Enumerator | |
| initProjection(SharedContext &ctx) | Clasp::ModelEnumerator | [private] |
| lastModel() const | Clasp::Enumerator | [inline] |
| Minimizer typedef | Clasp::Enumerator | |
| minimizer() const | Clasp::Enumerator | [inline] |
| ModelEnumerator(Strategy st=strategy_auto) | Clasp::ModelEnumerator | [explicit] |
| modelType() const | Clasp::Enumerator | [inline, virtual] |
| numProjectionVars() const | Clasp::ModelEnumerator | [inline, private] |
| optimize() const | Clasp::Enumerator | [inline] |
| options_ | Clasp::ModelEnumerator | [private] |
| OptMode typedef | Clasp::Enumerator | |
| project_ | Clasp::ModelEnumerator | [private] |
| project_enable_full enum value | Clasp::ModelEnumerator | |
| project_enable_simple enum value | Clasp::ModelEnumerator | |
| project_save_progress enum value | Clasp::ModelEnumerator | |
| project_use_heuristic enum value | Clasp::ModelEnumerator | |
| projectionEnabled() const | Clasp::ModelEnumerator | [inline] |
| ProjectOptions enum name | Clasp::ModelEnumerator | |
| projectOpts() const | Clasp::ModelEnumerator | [inline, private] |
| projectVar(uint32 i) const | Clasp::ModelEnumerator | [inline, private] |
| QPtr typedef | Clasp::ModelEnumerator | [private] |
| queue_ | Clasp::ModelEnumerator | [private] |
| reset() | Clasp::Enumerator | |
| setDisjoint(Solver &s, bool b) const | Clasp::Enumerator | |
| setIgnoreSymmetric(bool b) | Clasp::Enumerator | |
| setStrategy(Strategy st=strategy_auto, uint32 projection=0) | Clasp::ModelEnumerator | |
| start(Solver &s, const LitVec &path=LitVec(), bool disjointPath=false) const | Clasp::Enumerator | |
| strategy() const | Clasp::ModelEnumerator | [inline] |
| Strategy enum name | Clasp::ModelEnumerator | |
| strategy_auto enum value | Clasp::ModelEnumerator | |
| strategy_backtrack enum value | Clasp::ModelEnumerator | |
| strategy_opts_mask enum value | Clasp::ModelEnumerator | [private] |
| strategy_record enum value | Clasp::ModelEnumerator | |
| supportsParallel() const | Clasp::ModelEnumerator | [inline, protected, virtual] |
| supportsRestarts() const | Clasp::ModelEnumerator | [inline, protected, virtual] |
| tentative() const | Clasp::Enumerator | [inline] |
| trivial() const | Clasp::ModelEnumerator | [inline, private] |
| trivial_flag enum value | Clasp::ModelEnumerator | [private] |
| update(Solver &s) const | Clasp::Enumerator | |
| ~Enumerator() | Clasp::Enumerator | [virtual] |
| ~ModelEnumerator() | Clasp::ModelEnumerator | |