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]