Deepsolver
Public Member Functions
AbstractTaskSolver Class Reference
Inheritance diagram for AbstractTaskSolver:
GeneralSolver

List of all members.

Public Member Functions

virtual std::string constructSat (const UserTask &task)=0
virtual void solve (const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)=0