This is the complete list of members for
Clasp::PBBuilder, including all inherited members.
| addConstraint(WeightLitVec &lits, weight_t bound, bool eq=false, weight_t cw=0) | Clasp::PBBuilder | |
| addMinLit(WeightLiteral x) | Clasp::ProgramBuilder | [protected] |
| addMinRule(const WeightLitVec &lits) | Clasp::ProgramBuilder | [protected] |
| addObjective(const WeightLitVec &min) | Clasp::PBBuilder | |
| addProduct(LitVec &lits) | Clasp::PBBuilder | |
| addProductConstraints(Literal eqLit, LitVec &lits) | Clasp::PBBuilder | [private] |
| ctx() const | Clasp::ProgramBuilder | [inline] |
| disposeMin() | Clasp::ProgramBuilder | [protected] |
| disposeMinimizeConstraint() | Clasp::ProgramBuilder | |
| doEndProgram() | Clasp::PBBuilder | [private, virtual] |
| doGetAssumptions(LitVec &) const | Clasp::PBBuilder | [inline, private, virtual] |
| doParse(StreamSource &prg) | Clasp::PBBuilder | [private, virtual] |
| doStartProgram() | Clasp::PBBuilder | [private, virtual] |
| doType() const | Clasp::PBBuilder | [inline, private, virtual] |
| doUpdateProgram() | Clasp::PBBuilder | [inline, private, virtual] |
| endProgram() | Clasp::ProgramBuilder | |
| frozen() const | Clasp::ProgramBuilder | [inline] |
| getAssumptions(LitVec &out) const | Clasp::ProgramBuilder | |
| getMinBound(SumVec &out) const | Clasp::PBBuilder | [private] |
| getMinimizeConstraint(SumVec *softBound=0) const | Clasp::ProgramBuilder | |
| getNextVar() | Clasp::PBBuilder | [private] |
| maxVar_ | Clasp::PBBuilder | [private] |
| MinPtr typedef | Clasp::ProgramBuilder | |
| nextVar_ | Clasp::PBBuilder | [private] |
| numVars() const | Clasp::PBBuilder | [inline] |
| ok() const | Clasp::ProgramBuilder | [virtual] |
| parseProgram(StreamSource &prg) | Clasp::ProgramBuilder | |
| parseProgram(std::istream &prg) | Clasp::ProgramBuilder | |
| PBBuilder() | Clasp::PBBuilder | |
| prepareProblem(uint32 numVars, uint32 maxProduct, uint32 maxSoft, uint32 constraintHint=100) | Clasp::PBBuilder | |
| ProductIndex typedef | Clasp::PBBuilder | [private] |
| products_ | Clasp::PBBuilder | [private] |
| productSubsumed(LitVec &lits, Literal &subLit) | Clasp::PBBuilder | [private] |
| ProgramBuilder() | Clasp::ProgramBuilder | |
| setCtx(SharedContext *x) | Clasp::ProgramBuilder | [inline, protected] |
| setFrozen(bool frozen) | Clasp::ProgramBuilder | [inline, protected] |
| setSoftBound(wsum_t bound) | Clasp::PBBuilder | |
| SharedMinimize typedef | Clasp::ProgramBuilder | |
| soft_ | Clasp::PBBuilder | [private] |
| startProgram(SharedContext &ctx) | Clasp::ProgramBuilder | |
| type() const | Clasp::ProgramBuilder | [inline] |
| updateProgram() | Clasp::ProgramBuilder | |
| ~ProgramBuilder() | Clasp::ProgramBuilder | [virtual] |