Deepsolver
Deepsolver::AbstractTaskSolver Member List
This is the complete list of members for Deepsolver::AbstractTaskSolver, including all inherited members.
AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)Deepsolver::AbstractTaskSolver [inline]
dumpSat(const UserTask &userTask, std::ostream &s) const =0 (defined in Deepsolver::AbstractTaskSolver)Deepsolver::AbstractTaskSolver [pure virtual]
Ptr typedef (defined in Deepsolver::AbstractTaskSolver)Deepsolver::AbstractTaskSolver
solve(const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const =0 (defined in Deepsolver::AbstractTaskSolver)Deepsolver::AbstractTaskSolver [pure virtual]
~AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)Deepsolver::AbstractTaskSolver [inline, virtual]