platforms.desktop.desktop_service.DesktopService Class Reference

Inheritance diagram for platforms.desktop.desktop_service.DesktopService:

Public Member Functions
def	__init__ (self, exe_path)
def	get_exe_path (self)
def	set_exe_path (self, exe_path)
def	start_async (self, callback, programs, options)
def	start_sync (self, programs, options)

Public Attributes
	start_sync

Detailed Description

Specialization for a desktop platform.

Constructor & Destructor Documentation

__init__()

def platforms.desktop.desktop_service.DesktopService.__init__	(		self,
			exe_path
	)

Reimplemented in specializations.idlv.desktop.idlv_desktop_service.IDLVDesktopService, specializations.dlvhex.desktop.dlvhex_desktop_service.DLVHEXDesktopService, specializations.dlv2.desktop.dlv2_desktop_service.DLV2DesktopService, specializations.dlv.desktop.dlv_desktop_service.DLVDesktopService, and specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.

Member Function Documentation

get_exe_path()

def platforms.desktop.desktop_service.DesktopService.get_exe_path

(

self

)

Return execution path of DesktopService.

set_exe_path()

def platforms.desktop.desktop_service.DesktopService.set_exe_path	(		self,
			exe_path
	)

Set _exe_path to a new path.

The parameter exe_path is a string representing the path for the
new solver.

start_async()

def platforms.desktop.desktop_service.DesktopService.start_async	(		self,
			callback,
			programs,
			options
	)

Start a new process for the _exe_path and starts solving
asyncronously.

Reimplemented from base.service.Service.

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

start_sync()

def platforms.desktop.desktop_service.DesktopService.start_sync	(		self,
			programs,
			options
	)

Start a new process for the _exe_path and starts solving
syncronously.

Reimplemented from base.service.Service.

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, and specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.

Member Data Documentation

start_sync

platforms.desktop.desktop_service.DesktopService.start_sync

---

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

• embasp-theoretic/platforms/desktop/desktop_service.py