Deepsolver
|
AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline] |
constructSat(const UserTask &task) (defined in GeneralSolver) | GeneralSolver | [virtual] |
GeneralSolver(TaskSolverData &data) (defined in GeneralSolver) | GeneralSolver | [inline] |
solve(const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove) (defined in GeneralSolver) | GeneralSolver | [virtual] |
~AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline, virtual] |
~GeneralSolver() (defined in GeneralSolver) | GeneralSolver | [inline, virtual] |