Deepsolver
TaskSolver Member List
This is the complete list of members for TaskSolver, including all inherited members.
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]