|
Deepsolver
|
| AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline] |
| AbstractTaskTranslatorOutput() (defined in AbstractTaskTranslatorOutput) | AbstractTaskTranslatorOutput | [inline, private] |
| solve(const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove) (defined in TaskSolver) | TaskSolver | [virtual] |
| TaskSolver(const TaskSolverData &data) (defined in TaskSolver) | TaskSolver | [inline] |
| ~AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline, virtual] |
| ~AbstractTaskTranslatorOutput() (defined in AbstractTaskTranslatorOutput) | AbstractTaskTranslatorOutput | [inline, private, virtual] |
| ~TaskSolver() (defined in TaskSolver) | TaskSolver | [inline, virtual] |
1.7.5.1