EmbASP-Python
EmbASP-Python
specializations
dlvhex
desktop
dlvhex_desktop_service.py
1
from
platforms.desktop.desktop_service
import
DesktopService
2
from
specializations.dlvhex.dlvhex_answer_sets
import
DLVHEXAnswerSets
3
4
5
class
DLVHEXDesktopService
(
DesktopService
):
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
Generated by
1.8.17