This is the complete list of members for
Clasp::SatPreprocessor, including all inherited members.
| addClause(const LitVec &cl) | Clasp::SatPreprocessor | [inline] |
| addClause(const Literal *clause, uint32 size) | Clasp::SatPreprocessor | |
| clause(uint32 clId) | Clasp::SatPreprocessor | [inline, protected] |
| clause(uint32 clId) const | Clasp::SatPreprocessor | [inline, protected] |
| ClauseList typedef | Clasp::SatPreprocessor | [protected] |
| clauses_ | Clasp::SatPreprocessor | [private] |
| cleanUp(bool discardEliminated=false) | Clasp::SatPreprocessor | |
| clone()=0 | Clasp::SatPreprocessor | [pure virtual] |
| ctx_ | Clasp::SatPreprocessor | [protected] |
| destroyClause(uint32 clId) | Clasp::SatPreprocessor | [inline, protected] |
| discardClauses(bool discardEliminated) | Clasp::SatPreprocessor | [protected] |
| doCleanUp()=0 | Clasp::SatPreprocessor | [protected, pure virtual] |
| doExtendModel(ValueVec &m, LitVec &open)=0 | Clasp::SatPreprocessor | [protected, pure virtual] |
| doPreprocess()=0 | Clasp::SatPreprocessor | [protected, pure virtual] |
| eliminateClause(uint32 id) | Clasp::SatPreprocessor | [inline, protected] |
| elimTop_ | Clasp::SatPreprocessor | [protected] |
| extendModel(ValueVec &m, LitVec &open) | Clasp::SatPreprocessor | |
| freezeSeen() | Clasp::SatPreprocessor | [protected] |
| initPreprocess(SatPreParams &opts)=0 | Clasp::SatPreprocessor | [protected, pure virtual] |
| numClauses() const | Clasp::SatPreprocessor | [inline] |
| operator=(const SatPreprocessor &) | Clasp::SatPreprocessor | [private] |
| Options typedef | Clasp::SatPreprocessor | |
| preprocess(SharedContext &ctx, SatPreParams &opts) | Clasp::SatPreprocessor | |
| preprocess(SharedContext &ctx) | Clasp::SatPreprocessor | |
| SatPreprocessor() | Clasp::SatPreprocessor | [inline] |
| SatPreprocessor(const SatPreprocessor &) | Clasp::SatPreprocessor | [private] |
| seen_ | Clasp::SatPreprocessor | [private] |
| setClause(uint32 clId, const LitVec &cl) | Clasp::SatPreprocessor | [inline, protected] |
| stats | Clasp::SatPreprocessor | |
| units_ | Clasp::SatPreprocessor | [private] |
| ~SatPreprocessor() | Clasp::SatPreprocessor | [virtual] |