This is the complete list of members for
Clasp::SatBuilder, including all inherited members.
| addClause(LitVec &clause, wsum_t cw=0) | Clasp::SatBuilder | |
| addMinLit(WeightLiteral x) | Clasp::ProgramBuilder | [protected] |
| addMinRule(const WeightLitVec &lits) | Clasp::ProgramBuilder | [protected] |
| ctx() const | Clasp::ProgramBuilder | [inline] |
| disposeMin() | Clasp::ProgramBuilder | [protected] |
| disposeMinimizeConstraint() | Clasp::ProgramBuilder | |
| doEndProgram() | Clasp::SatBuilder | [private, virtual] |
| doGetAssumptions(LitVec &) const | Clasp::SatBuilder | [inline, private] |
| doParse(StreamSource &prg) | Clasp::SatBuilder | [private, virtual] |
| doStartProgram() | Clasp::SatBuilder | [private, virtual] |
| doType() const | Clasp::SatBuilder | [inline, private, virtual] |
| doUpdateProgram() | Clasp::SatBuilder | [inline, private, virtual] |
| endProgram() | Clasp::ProgramBuilder | |
| frozen() const | Clasp::ProgramBuilder | [inline] |
| getAssumptions(LitVec &out) const | Clasp::ProgramBuilder | |
| getMinimizeConstraint(SumVec *softBound=0) const | Clasp::ProgramBuilder | |
| hardWeight_ | Clasp::SatBuilder | [private] |
| markAssigned() | Clasp::SatBuilder | [private] |
| markLit(Literal x) | Clasp::SatBuilder | [inline, private] |
| maxSat_ | Clasp::SatBuilder | [private] |
| MinPtr typedef | Clasp::ProgramBuilder | |
| numVars() const | Clasp::SatBuilder | [inline] |
| ok() const | Clasp::ProgramBuilder | [virtual] |
| parseProgram(StreamSource &prg) | Clasp::ProgramBuilder | |
| parseProgram(std::istream &prg) | Clasp::ProgramBuilder | |
| pos_ | Clasp::SatBuilder | [private] |
| prepareProblem(uint32 numVars, wsum_t hardClauseWeight=0, uint32 clauseHint=100) | Clasp::SatBuilder | |
| ProgramBuilder() | Clasp::ProgramBuilder | |
| SatBuilder(bool maxSat=false) | Clasp::SatBuilder | [explicit] |
| satisfied(LitVec &clause) | Clasp::SatBuilder | [private] |
| setCtx(SharedContext *x) | Clasp::ProgramBuilder | [inline, protected] |
| setFrozen(bool frozen) | Clasp::ProgramBuilder | [inline, protected] |
| SharedMinimize typedef | Clasp::ProgramBuilder | |
| softClauses_ | Clasp::SatBuilder | [private] |
| startProgram(SharedContext &ctx) | Clasp::ProgramBuilder | |
| type() const | Clasp::ProgramBuilder | [inline] |
| updateProgram() | Clasp::ProgramBuilder | |
| vars_ | Clasp::SatBuilder | [private] |
| VarState typedef | Clasp::SatBuilder | [private] |
| varState_ | Clasp::SatBuilder | [private] |
| ~ProgramBuilder() | Clasp::ProgramBuilder | [virtual] |