EmbASP-Python
service.py
1 from abc import ABCMeta, abstractmethod
2 
3 
4 class Service(object):
5  """Contains generic methods for ASP Solver execution."""
6 
7  __metaclass__ = ABCMeta
8 
9  @abstractmethod
10  def start_async(self, callback, programs, options):
11  """Starts ASP solving asynchronously on a subset of data and options.
12 
13  The parameter callback is an interface used to interact with
14  user. The parameter programs represents a list of InputProgram
15  used as data. The parameter options is a list of
16  OptionDescriptor used as options.
17  """
18  pass
19 
20  @abstractmethod
21  def start_sync(self, programs, options):
22  """Starts ASP solving synchronously on a subset of data and options.
23 
24  The parameter programs is a list of InputProgram used as data.
25  The parameter options is a list of OptionDescriptor used as
26  options. The method return an Output element filled with
27  results.
28  """
29  pass
base.service.Service.start_sync
def start_sync(self, programs, options)
Definition: service.py:21
base.service.Service.start_async
def start_async(self, callback, programs, options)
Definition: service.py:10
base.service.Service
Definition: service.py:4