Deepsolver
Public Member Functions
TaskTranslator Class Reference

List of all members.

Public Member Functions

 TaskTranslator (AbstractTaskTranslatorOutput &output, const TaskSolverData &data)
void translate (const UserTask &task)