EmbASP-Java
Public Member Functions | Protected Member Functions | List of all members
it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService Class Reference
Inheritance diagram for it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService:
it.unical.mat.embasp.platforms.desktop.DesktopService it.unical.mat.embasp.base.Service

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

Definition at line 14 of file DLV2DesktopService.java.

Member Function Documentation

◆ 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.

Definition at line 25 of file DLV2DesktopService.java.

◆ 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.

Definition at line 30 of file DLV2DesktopService.java.


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