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]