it.unical.mat.embasp.specializations.dlv2.desktop

Class DLV2DesktopService

java.lang.Object

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

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

All Implemented Interfaces:

Service

public class DLV2DesktopService
extends DesktopService

is an extention of DesktopService for DLV2 solver

Constructor Summary

Constructors

Constructor and Description
DLV2DesktopService(java.lang.String exe_path)

Method Summary

Modifier and Type	Method and Description
void	startAsync(Callback callback, java.util.List<InputProgram> programs, java.util.List<OptionDescriptor> options) Start a new process for the DesktopService.exe_path and starts solving
Output	startSync(java.util.List<InputProgram> programs, java.util.List<OptionDescriptor> options) Start a new process for the DesktopService.exe_path and starts solving

Methods inherited from class it.unical.mat.embasp.platforms.desktop.DesktopService

getExePath, setExePath

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DLV2DesktopService

public DLV2DesktopService(java.lang.String exe_path)

Method Detail

startAsync

public void startAsync(Callback callback,
                       java.util.List<InputProgram> programs,
                       java.util.List<OptionDescriptor> options)

Description copied from class: DesktopService

Start a new process for the DesktopService.exe_path and starts solving

Specified by:

startAsync in interface Service

Overrides:

startAsync in class DesktopService

Parameters:

callback - interface used to interact with user

programs - a list of InputProgram used as data.

options - a list of OptionDescriptor used as options.

See Also:

Service.startAsync(Callback, List, List)

startSync

public Output startSync(java.util.List<InputProgram> programs,
                        java.util.List<OptionDescriptor> options)

Description copied from class: DesktopService

Start a new process for the DesktopService.exe_path and starts solving

Specified by:

startSync in interface Service

Overrides:

startSync in class DesktopService

Parameters:

programs - a list of InputProgram used as data.

options - a list of OptionDescriptor used as options.

Returns:

Output element filled with results

See Also:

Service.startSync(List, List)