Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Deepsolver
TaskSolver
Public Member Functions
Deepsolver::TaskSolver Class Reference
Inheritance diagram for Deepsolver::TaskSolver:
List of all members.
Public Member Functions
void
solve
(const
UserTask
&task, VarIdVector &toInstall, VarIdVector &toRemove)
TaskSolver
(const
TaskSolverData
&data)
virtual
~TaskSolver
()
The destructor.
Generated on Thu Aug 1 2013 09:53:04 for Deepsolver by
1.7.5.1