Inheritance diagram for it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService:

Public Member Functions
	IDLVDesktopService (final String exe_path)

void	startAsync (final Callback callback, final List< InputProgram > programs, final List< OptionDescriptor > options)

Output	startSync (final List< InputProgram > programs, 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

Constructor & Destructor Documentation

◆ IDLVDesktopService()

it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService.IDLVDesktopService ( final String exe_path )

inline

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

inlineprotected

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

Output it.unical.mat.embasp.specializations.idlv.desktop.IDLVDesktopService.startSync	(	final List< InputProgram >	programs,
		List< OptionDescriptor >	options
	)

inline

Start a new process for the exe_path and starts solving

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

embasp-narrative/app/src/main/narrative/it/unical/mat/embasp/specializations/idlv/desktop/IDLVDesktopService.narrative