EmbASP-Java
|
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) |
![]() | |
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 | |
![]() | |
String | exe_path |
String | load_from_STDIN_option |
is an extention of DesktopService for DLV2 solver
Definition at line 14 of file DLV2DesktopService.java.
|
inline |
Start a new process for the exe_path and starts solving
Reimplemented from it.unical.mat.embasp.platforms.desktop.DesktopService.
Definition at line 25 of file DLV2DesktopService.java.
|
inline |
Start a new process for the exe_path and starts solving
Reimplemented from it.unical.mat.embasp.platforms.desktop.DesktopService.
Definition at line 30 of file DLV2DesktopService.java.