| assume(const LitVec &assumptions) | Clasp::BasicSolve | |
| BasicSolve(Solver &s, const SolveParams &p, SolveLimits *lim=0) | Clasp::BasicSolve | |
| BasicSolve(Solver &s, SolveLimits *lim=0) | Clasp::BasicSolve | |
| BasicSolve(const BasicSolve &) | Clasp::BasicSolve | [private] |
| Limits typedef | Clasp::BasicSolve | [private] |
| limits_ | Clasp::BasicSolve | [private] |
| operator=(const BasicSolve &) | Clasp::BasicSolve | [private] |
| Params typedef | Clasp::BasicSolve | [private] |
| params_ | Clasp::BasicSolve | [private] |
| reset(bool reinit=false) | Clasp::BasicSolve | |
| reset(Solver &s, const SolveParams &p, SolveLimits *lim=0) | Clasp::BasicSolve | |
| satisfiable(const LitVec &assumptions, bool init) | Clasp::BasicSolve | |
| solve() | Clasp::BasicSolve | |
| solver() | Clasp::BasicSolve | [inline] |
| solver_ | Clasp::BasicSolve | [private] |
| state_ | Clasp::BasicSolve | [private] |
| ~BasicSolve() | Clasp::BasicSolve |