EmbASP-Python v7.1.0
Public Member Functions | List of all members
specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService Class Reference
Inheritance diagram for specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService:
platforms.desktop.desktop_service.DesktopService base.service.Service

Public Member Functions

def __init__ (self, exe_path)
 
def start_sync (self, programs, options)
 
def start_async (self, callback, programs, options)
 
- Public Member Functions inherited from platforms.desktop.desktop_service.DesktopService
def get_exe_path (self)
 
def set_exe_path (self, exe_path)
 

Additional Inherited Members

- Public Attributes inherited from platforms.desktop.desktop_service.DesktopService
 start_sync
 

Detailed Description

Extention of DesktopService for Clingo.

Constructor & Destructor Documentation

◆ __init__()

def specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.__init__ (   self,
  exe_path 
)

Member Function Documentation

◆ start_async()

def specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.start_async (   self,
  callback,
  programs,
  options 
)
Calls start_async method of a superclass.

Reimplemented from platforms.desktop.desktop_service.DesktopService.

◆ start_sync()

def specializations.clingo.desktop.clingo_desktop_service.ClingoDesktopService.start_sync (   self,
  programs,
  options 
)
Calls start_sync method of a superclass and returns its output
object.

Reimplemented from platforms.desktop.desktop_service.DesktopService.


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