Deepsolver::TaskSolver Member List

This is the complete list of members for Deepsolver::TaskSolver, including all inherited members.

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]