| addPost(Solver &s) const | Clasp::Configuration | [virtual] |
| context() const =0 | Clasp::Configuration | [pure virtual] |
| CtxOpts typedef | Clasp::Configuration | |
| heuristic(uint32 i) const =0 | Clasp::Configuration | [pure virtual] |
| numSearch() const =0 | Clasp::Configuration | [pure virtual] |
| numSolver() const =0 | Clasp::Configuration | [pure virtual] |
| prepare(SharedContext &)=0 | Clasp::Configuration | [pure virtual] |
| search(uint32 i) const =0 | Clasp::Configuration | [pure virtual] |
| SearchOpts typedef | Clasp::Configuration | |
| solver(uint32 i) const =0 | Clasp::Configuration | [pure virtual] |
| SolverOpts typedef | Clasp::Configuration | |
| ~Configuration() | Clasp::Configuration | [virtual] |