it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService Class Reference

Inheritance diagram for it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService:

Public Member Functions
	DLV2DesktopService (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)
Public Member Functions inherited from it.unical.mat.embasp.platforms.desktop.DesktopService
	DesktopService (final String exe_path)
String	getExePath ()
void	setExePath (final String exe_path)

Protected Member Functions
Output	getOutput (final String output, final String error)

Additional Inherited Members
Protected Attributes inherited from it.unical.mat.embasp.platforms.desktop.DesktopService
String	exe_path
String	load_from_STDIN_option

Detailed Description

is an extention of DesktopService for DLV2 solver

Constructor & Destructor Documentation

DLV2DesktopService()

it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.DLV2DesktopService ( final String  exe_path )

inline

Member Function Documentation

getOutput()

Output it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.getOutput ( final String  output, final String  error  )

inlineprotected

Reimplemented from it.unical.mat.embasp.platforms.desktop.DesktopService.

startAsync()

void it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.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)

Reimplemented from it.unical.mat.embasp.platforms.desktop.DesktopService.

startSync()

Output it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.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)

Reimplemented from it.unical.mat.embasp.platforms.desktop.DesktopService.

---

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

• embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/specializations/dlv2/desktop/DLV2DesktopService.narrative