EmbASP-Python
dlvhex_desktop_service.py
1 from platforms.desktop.desktop_service import DesktopService
2 from specializations.dlvhex.dlvhex_answer_sets import DLVHEXAnswerSets
3 
4 
6  def __init__(self, exe_path):
7  super(DLVHEXDesktopService, self).__init__(exe_path)
8 
9  self._load_from_stdin_option = "--"
10 
11  def _getOutput(self, output, error):
12  return DLVHEXAnswerSets(output, error)
specializations.dlvhex.dlvhex_answer_sets
Definition: dlvhex_answer_sets.py:1
platforms.desktop.desktop_service
Definition: desktop_service.py:1
specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets
Definition: dlvhex_answer_sets.py:5
platforms.desktop.desktop_service.DesktopService
Definition: desktop_service.py:11
platforms.desktop.desktop_service.DesktopService._load_from_stdin_option
_load_from_stdin_option
Definition: desktop_service.py:17
specializations.dlvhex.desktop.dlvhex_desktop_service.DLVHEXDesktopService
Definition: dlvhex_desktop_service.py:5