Inheritance diagram for specializations.dlvhex.desktop.dlvhex_desktop_service.DLVHEXDesktopService:
Public Member Functions | |
| def | __init__ (self, exe_path) |
 Public Member Functions inherited from platforms.desktop.desktop_service.DesktopService | |
| 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) |
Additional Inherited Members | |
| Public Attributes inherited from platforms.desktop.desktop_service.DesktopService | |
| start_sync | |
Constructor & Destructor Documentation
◆ __init__()
| def specializations.dlvhex.desktop.dlvhex_desktop_service.DLVHEXDesktopService.__init__ | ( | self, | |
| exe_path | |||
| ) |
Reimplemented from platforms.desktop.desktop_service.DesktopService.
The documentation for this class was generated from the following file:
- embasp-theoretic/specializations/dlvhex/desktop/dlvhex_desktop_service.py
