Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Public Member Functions
TaskSolver Class Reference
Inheritance diagram for TaskSolver:
List of all members.
Public Member Functions
void
solve
(const
UserTask
&task, VarIdVector &toInstall, VarIdVector &toRemove)
TaskSolver
(const
TaskSolverData
&data)
Generated on Fri Feb 22 2013 15:59:58 for Deepsolver by
1.7.5.1