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] |