EmbASP-Python
dlv_desktop_service.py
1 from platforms.desktop.desktop_service import DesktopService
2 from specializations.dlv.dlv_answer_sets import DLVAnswerSets
3 
4 
6  """Extention of DesktopService for DLV."""
7 
8  def __init__(self, exe_path):
9  super(DLVDesktopService, self).__init__(exe_path)
10  self._load_from_stdin_option = "--"
11 
12  def _get_output(self, output, error):
13  """Returns a new DLVAnwerSets from given output and error."""
14  return DLVAnswerSets(output, error)
platforms.desktop.desktop_service
Definition: desktop_service.py:1
specializations.dlv.dlv_answer_sets.DLVAnswerSets
Definition: dlv_answer_sets.py:5
platforms.desktop.desktop_service.DesktopService
Definition: desktop_service.py:11
specializations.dlv.desktop.dlv_desktop_service.DLVDesktopService
Definition: dlv_desktop_service.py:5
platforms.desktop.desktop_service.DesktopService._load_from_stdin_option
_load_from_stdin_option
Definition: desktop_service.py:17
specializations.dlv.dlv_answer_sets
Definition: dlv_answer_sets.py:1