This is the complete list of members for
Clasp::ProgramBuilder, including all inherited members.
| addMinLit(WeightLiteral x) | Clasp::ProgramBuilder | [protected] |
| addMinRule(const WeightLitVec &lits) | Clasp::ProgramBuilder | [protected] |
| ctx() const | Clasp::ProgramBuilder | [inline] |
| ctx_ | Clasp::ProgramBuilder | [private] |
| disposeMin() | Clasp::ProgramBuilder | [protected] |
| disposeMinimizeConstraint() | Clasp::ProgramBuilder | |
| doEndProgram()=0 | Clasp::ProgramBuilder | [private, pure virtual] |
| doGetAssumptions(LitVec &out) const =0 | Clasp::ProgramBuilder | [private, pure virtual] |
| doParse(StreamSource &prg)=0 | Clasp::ProgramBuilder | [private, pure virtual] |
| doStartProgram()=0 | Clasp::ProgramBuilder | [private, pure virtual] |
| doType() const =0 | Clasp::ProgramBuilder | [private, pure virtual] |
| doUpdateProgram()=0 | Clasp::ProgramBuilder | [private, pure virtual] |
| endProgram() | Clasp::ProgramBuilder | |
| frozen() const | Clasp::ProgramBuilder | [inline] |
| frozen_ | Clasp::ProgramBuilder | [private] |
| getAssumptions(LitVec &out) const | Clasp::ProgramBuilder | |
| getMinBound(SumVec &out) const | Clasp::ProgramBuilder | [private, virtual] |
| getMinimizeConstraint(SumVec *softBound=0) const | Clasp::ProgramBuilder | |
| min_ | Clasp::ProgramBuilder | [mutable, private] |
| MinBuildPtr typedef | Clasp::ProgramBuilder | [private] |
| minCon_ | Clasp::ProgramBuilder | [mutable, private] |
| MinPtr typedef | Clasp::ProgramBuilder | |
| ok() const | Clasp::ProgramBuilder | [virtual] |
| operator=(ProgramBuilder &) | Clasp::ProgramBuilder | [private] |
| parseProgram(StreamSource &prg) | Clasp::ProgramBuilder | |
| parseProgram(std::istream &prg) | Clasp::ProgramBuilder | |
| ProgramBuilder() | Clasp::ProgramBuilder | |
| ProgramBuilder(const ProgramBuilder &) | Clasp::ProgramBuilder | [private] |
| setCtx(SharedContext *x) | Clasp::ProgramBuilder | [inline, protected] |
| setFrozen(bool frozen) | Clasp::ProgramBuilder | [inline, protected] |
| SharedMinimize typedef | Clasp::ProgramBuilder | |
| startProgram(SharedContext &ctx) | Clasp::ProgramBuilder | |
| type() const | Clasp::ProgramBuilder | [inline] |
| updateProgram() | Clasp::ProgramBuilder | |
| ~ProgramBuilder() | Clasp::ProgramBuilder | [virtual] |