Deepsolver
|
AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline] |
constructSat(const UserTask &task)=0 (defined in AbstractTaskSolver) | AbstractTaskSolver | [pure virtual] |
solve(const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)=0 (defined in AbstractTaskSolver) | AbstractTaskSolver | [pure virtual] |
~AbstractTaskSolver() (defined in AbstractTaskSolver) | AbstractTaskSolver | [inline, virtual] |