6 """Extention of DesktopService for Clingo."""
8 def __init__(self, exe_path):
9 super(ClingoDesktopService, self).__init__(exe_path)
12 def _get_output(self, output, error):
13 """Returns a new ClingoAnwerSets from given output and error."""
16 def start_sync(self, programs, options):
17 """Calls start_sync method of a superclass and returns its output
19 return super(ClingoDesktopService, self).start_sync(programs, options)
22 """Calls start_async method of a superclass."""
24 callback, programs, options)