it.unical.mat.embasp.platforms.desktop.DesktopService Class Reference

Inheritance diagram for it.unical.mat.embasp.platforms.desktop.DesktopService:

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

Reimplemented in it.unical.mat.embasp.specializations.solver_planning_domains.desktop.SPDDesktopService, it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService, it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService, it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService, it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService, and it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService.

setExePath()

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

inline

set exe_path to a new path*

Parameters

exe_path

a 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

Start a new process for the exe_path and starts solving

See also

it.unical.mat.embasp.base.Service::startSync(List, List)

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

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

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:

• embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/platforms/desktop/DesktopService.narrative