EmbASP-Python v7.1.0
|
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 | |
Specialization for a desktop platform.
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.
def platforms.desktop.desktop_service.DesktopService.get_exe_path | ( | self | ) |
Return execution path of DesktopService.
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.
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.
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.
platforms.desktop.desktop_service.DesktopService.start_sync |