Deepsolver
GeneralSolver Member List
This is the complete list of members for GeneralSolver, including all inherited members.
AbstractTaskSolver() (defined in AbstractTaskSolver)AbstractTaskSolver [inline]
constructSat(const UserTask &task) (defined in GeneralSolver)GeneralSolver [virtual]
GeneralSolver(TaskSolverData &data) (defined in GeneralSolver)GeneralSolver [inline]
solve(const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove) (defined in GeneralSolver)GeneralSolver [virtual]
~AbstractTaskSolver() (defined in AbstractTaskSolver)AbstractTaskSolver [inline, virtual]
~GeneralSolver() (defined in GeneralSolver)GeneralSolver [inline, virtual]