, including all inherited members.
| add(const Literal &p) | Clasp::ClauseCreator | [inline] |
| addDefaultFlags(uint32 f) | Clasp::ClauseCreator | [inline] |
| clause_explicit enum value | Clasp::ClauseCreator | |
| clause_force_simplify enum value | Clasp::ClauseCreator | |
| clause_int_lbd enum value | Clasp::ClauseCreator | |
| clause_no_add enum value | Clasp::ClauseCreator | |
| clause_no_heuristic enum value | Clasp::ClauseCreator | |
| clause_no_prepare enum value | Clasp::ClauseCreator | |
| clause_no_release enum value | Clasp::ClauseCreator | |
| clause_not_conflict enum value | Clasp::ClauseCreator | |
| clause_not_root_sat enum value | Clasp::ClauseCreator | |
| clause_not_sat enum value | Clasp::ClauseCreator | |
| ClauseCreator(Solver *s=0) | Clasp::ClauseCreator | [explicit] |
| clear() | Clasp::ClauseCreator | [inline] |
| create(Solver &s, LitVec &lits, uint32 flags, const ClauseInfo &info=ClauseInfo()) | Clasp::ClauseCreator | [static] |
| create(Solver &s, const ClauseRep &rep, uint32 flags) | Clasp::ClauseCreator | [static] |
| create_prepared(Solver &s, const ClauseRep &pc, uint32 flags) | Clasp::ClauseCreator | [private, static] |
| CreateFlag enum name | Clasp::ClauseCreator | |
| end(uint32 flags=clause_not_sat|clause_not_conflict) | Clasp::ClauseCreator | |
| extra_ | Clasp::ClauseCreator | [private] |
| flags_ | Clasp::ClauseCreator | [private] |
| ignoreClause(const Solver &s, const ClauseRep &cl, Status st, uint32 modeFlags) | Clasp::ClauseCreator | [private, static] |
| info() const | Clasp::ClauseCreator | [inline] |
| integrate(Solver &s, SharedLiterals *clause, uint32 flags, ConstraintType t) | Clasp::ClauseCreator | [static] |
| integrate(Solver &s, SharedLiterals *clause, uint32 flags) | Clasp::ClauseCreator | [static] |
| literals_ | Clasp::ClauseCreator | [private] |
| lits() const | Clasp::ClauseCreator | [inline] |
| lits() | Clasp::ClauseCreator | [inline] |
| newLearntClause(Solver &s, const ClauseRep &clause, uint32 flags) | Clasp::ClauseCreator | [private, static] |
| newProblemClause(Solver &s, const ClauseRep &clause, uint32 flags) | Clasp::ClauseCreator | [private, static] |
| newUnshared(Solver &s, SharedLiterals *clause, const Literal *w, const ClauseInfo &e) | Clasp::ClauseCreator | [private, static] |
| operator[](uint32 i) | Clasp::ClauseCreator | [inline] |
| operator[](uint32 i) const | Clasp::ClauseCreator | [inline] |
| prepare(bool fullSimplify) | Clasp::ClauseCreator | |
| prepare(Solver &s, LitVec &lits, uint32 flags, const ClauseInfo &info=ClauseInfo()) | Clasp::ClauseCreator | [static] |
| prepare(Solver &s, const Literal *in, uint32 inSize, const ClauseInfo &e, uint32 flags, Literal *out, uint32 outMax=UINT32_MAX) | Clasp::ClauseCreator | [private, static] |
| reserve(LitVec::size_type s) | Clasp::ClauseCreator | [inline] |
| setActivity(uint32 a) | Clasp::ClauseCreator | [inline] |
| setLbd(uint32 lbd) | Clasp::ClauseCreator | [inline] |
| setSolver(Solver &s) | Clasp::ClauseCreator | [inline] |
| size() const | Clasp::ClauseCreator | [inline] |
| solver_ | Clasp::ClauseCreator | [private] |
| start(ConstraintType t=Constraint_t::static_constraint) | Clasp::ClauseCreator | |
| status(const Solver &s, const Literal *clause_begin, const Literal *clause_end) | Clasp::ClauseCreator | [static] |
| status(const Solver &s, const ClauseRep &c) | Clasp::ClauseCreator | [static] |
| Status enum name | Clasp::ClauseCreator | |
| status_asserting enum value | Clasp::ClauseCreator | |
| status_empty enum value | Clasp::ClauseCreator | |
| status_open enum value | Clasp::ClauseCreator | |
| status_sat enum value | Clasp::ClauseCreator | |
| status_sat_asserting enum value | Clasp::ClauseCreator | |
| status_subsumed enum value | Clasp::ClauseCreator | |
| status_unit enum value | Clasp::ClauseCreator | |
| status_unsat enum value | Clasp::ClauseCreator | |
| type() const | Clasp::ClauseCreator | [inline] |
| watchOrder(const Solver &s, Literal p) | Clasp::ClauseCreator | [static] |