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