base.service.Service Class Reference

Inheritance diagram for base.service.Service:

Public Member Functions
def	start_async (self, callback, programs, options)
def	start_sync (self, programs, options)

Detailed Description

Contains generic methods for ASP Solver execution.

Member Function Documentation

start_async()

def base.service.Service.start_async	(		self,
			callback,
			programs,
			options
	)

Starts ASP solving asynchronously on a subset of data and options.

The parameter callback is an interface used to interact with
user. The parameter programs represents a list of InputProgram
used as data. The parameter options is a list of
OptionDescriptor used as options.

Reimplemented in specializations.idlv.desktop.idlv_desktop_service.IDLVDesktopService, specializations.dlv2.desktop.dlv2_desktop_service.DLV2DesktopService, specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService, and platforms.desktop.desktop_service.DesktopService.

start_sync()

def base.service.Service.start_sync	(		self,
			programs,
			options
	)

Starts ASP solving synchronously on a subset of data and options.

The parameter programs is a list of InputProgram used as data.
The parameter options is a list of OptionDescriptor used as
options. The method return an Output element filled with
results.

Reimplemented in specializations.solver_planning_domains.desktop.spd_desktop_service.SPDDesktopService, specializations.idlv.desktop.idlv_desktop_service.IDLVDesktopService, specializations.dlv2.desktop.dlv2_desktop_service.DLV2DesktopService, specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService, and platforms.desktop.desktop_service.DesktopService.

---

The documentation for this class was generated from the following file:

• embasp-theoretic/base/service.py