EmbASP-Python
clingo_desktop_service.py
1 from platforms.desktop.desktop_service import DesktopService
2 from specializations.clingo.clingo_answer_sets import ClingoAnswerSets
3 
4 
6  """Extention of DesktopService for Clingo."""
7 
8  def __init__(self, exe_path):
9  super(ClingoDesktopService, self).__init__(exe_path)
10  self._load_from_stdin_option = "-"
11 
12  def _get_output(self, output, error):
13  """Returns a new ClingoAnwerSets from given output and error."""
14  return ClingoAnswerSets(output, error)
15 
16  def start_sync(self, programs, options):
17  """Calls start_sync method of a superclass and returns its output
18  object."""
19  return super(ClingoDesktopService, self).start_sync(programs, options)
20 
21  def start_async(self, callback, programs, options):
22  """Calls start_async method of a superclass."""
23  super(ClingoDesktopService, self).start_async(
24  callback, programs, options)
specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService
Definition: clingo_desktop_service.py:5
platforms.desktop.desktop_service
Definition: desktop_service.py:1
specializations.clingo.clingo_answer_sets
Definition: clingo_answer_sets.py:1
platforms.desktop.desktop_service.DesktopService
Definition: desktop_service.py:11
specializations.clingo.clingo_answer_sets.ClingoAnswerSets
Definition: clingo_answer_sets.py:5
platforms.desktop.desktop_service.DesktopService._load_from_stdin_option
_load_from_stdin_option
Definition: desktop_service.py:17
specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.start_async
def start_async(self, callback, programs, options)
Definition: clingo_desktop_service.py:21