Deepsolver
|
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] |