Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Public Member Functions
AbstractTaskSolver Class Reference
Inheritance diagram for AbstractTaskSolver:
List of all members.
Public Member Functions
virtual std::string
constructSat
(const
UserTask
&task)=0
virtual void
solve
(const
UserTask
&task, VarIdVector &toInstall, VarIdVector &toRemove)=0
Generated on Wed Dec 26 2012 04:17:23 for Deepsolver by
1.7.5.1