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