EmbASP-Python
|
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.
Definition at line 11 of file desktop_service.py.
def platforms.desktop.desktop_service.DesktopService.get_exe_path | ( | self | ) |
Return execution path of DesktopService.
Definition at line 19 of file desktop_service.py.
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.
Definition at line 27 of file desktop_service.py.
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.clingo.desktop.clingo_desktop_service.ClingoDesktopService, and specializations.dlv2.desktop.dlv2_desktop_service.DLV2DesktopService.
Definition at line 35 of file desktop_service.py.
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.dlv2.desktop.dlv2_desktop_service.DLV2DesktopService, and specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.
Definition at line 49 of file desktop_service.py.