EmbASP-Java v7.1.0
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
it.unical.mat.embasp.platforms.desktop.DesktopService Class Referenceabstract
Inheritance diagram for it.unical.mat.embasp.platforms.desktop.DesktopService:
it.unical.mat.embasp.base.Service it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService

Public Member Functions

 DesktopService (final String exe_path)
 
String getExePath ()
 
void setExePath (final String exe_path)
 
void startAsync (final Callback callback, final List< InputProgram > programs, final List< OptionDescriptor > options)
 
Output startSync (final List< InputProgram > programs, final List< OptionDescriptor > options)
 

Protected Member Functions

abstract Output getOutput (String output, String error)
 

Protected Attributes

String exe_path
 
String load_from_STDIN_option
 

Detailed Description

is a specialization for a Desktop platform

See also
Service

Constructor & Destructor Documentation

◆ DesktopService()

it.unical.mat.embasp.platforms.desktop.DesktopService.DesktopService ( final String  exe_path)
inline

Member Function Documentation

◆ getExePath()

String it.unical.mat.embasp.platforms.desktop.DesktopService.getExePath ( )
inline

◆ getOutput()

abstract Output it.unical.mat.embasp.platforms.desktop.DesktopService.getOutput ( String  output,
String  error 
)
abstractprotected

◆ setExePath()

void it.unical.mat.embasp.platforms.desktop.DesktopService.setExePath ( final String  exe_path)
inline

set exe_path to a new path*

Parameters
exe_patha string representing the path for the new solver

◆ startAsync()

void it.unical.mat.embasp.platforms.desktop.DesktopService.startAsync ( final Callback  callback,
final List< InputProgram programs,
final List< OptionDescriptor options 
)
inline

Start a new process for the exe_path and starts solving

See also
it.unical.mat.embasp.base.Service::startAsync(Callback, List, List)

Implements it.unical.mat.embasp.base.Service.

Reimplemented in it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService, and it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.

◆ startSync()

Output it.unical.mat.embasp.platforms.desktop.DesktopService.startSync ( final List< InputProgram programs,
final List< OptionDescriptor options 
)
inline

Member Data Documentation

◆ exe_path

String it.unical.mat.embasp.platforms.desktop.DesktopService.exe_path
protected

Stores solver's executable path

◆ load_from_STDIN_option

String it.unical.mat.embasp.platforms.desktop.DesktopService.load_from_STDIN_option
protected

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