Deepsolver
|
AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver) | Deepsolver::AbstractTaskSolver | [inline] |
solve(const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)=0 (defined in Deepsolver::AbstractTaskSolver) | Deepsolver::AbstractTaskSolver | [pure virtual] |
~AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver) | Deepsolver::AbstractTaskSolver | [inline, virtual] |