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