Inheritance diagram for it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService:

Public Member Functions
	ClingoDesktopService (final String exe_path)

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)

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
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 Clingo 's solver

Constructor & Destructor Documentation

it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService.ClingoDesktopService ( final String exe_path )

inline

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

inlineprotected

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

embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/specializations/clingo/desktop/ClingoDesktopService.narrative