Deepsolver
Deepsolver::TaskTranslator Member List
This is the complete list of members for Deepsolver::TaskTranslator, including all inherited members.
TaskTranslator(AbstractTaskTranslatorOutput &output, const TaskSolverData &data) (defined in Deepsolver::TaskTranslator)Deepsolver::TaskTranslator [inline]
translate(const UserTask &task) (defined in Deepsolver::TaskTranslator)Deepsolver::TaskTranslator
~TaskTranslator()Deepsolver::TaskTranslator [inline, virtual]