Deepsolver
Public Member Functions
Deepsolver::SatWriter Class Reference
Inheritance diagram for Deepsolver::SatWriter:
Deepsolver::AbstractTaskTranslatorOutput

List of all members.

Public Member Functions

std::string generateSat (const UserTask &task)
 SatWriter (const TaskSolverData &data)
virtual ~SatWriter ()
 The destructor.