Deepsolver
Public Types | Public Member Functions
Deepsolver::AbstractTaskSolver Class Reference
Inheritance diagram for Deepsolver::AbstractTaskSolver:
Deepsolver::Solver::Solver

List of all members.

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