EmbASP-Python
EmbASP-Python
specializations
dlv
desktop
dlv_desktop_service.py
1
from
platforms.desktop.desktop_service
import
DesktopService
2
from
specializations.dlv.dlv_answer_sets
import
DLVAnswerSets
3
4
5
class
DLVDesktopService
(
DesktopService
):
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
Generated by
1.8.17