Inheritance diagram for Deepsolver::AbstractTaskSolver:
Public Types | |
|
typedef std::shared_ptr < AbstractTaskSolver > | Ptr |
Public Member Functions | |
| virtual void | dumpSat (const UserTask &userTask, std::ostream &s) const =0 |
| virtual void | solve (const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const =0 |
