Modifier and Type | Method and Description |
---|---|
void |
Handler.startAsync(Callback c) |
void |
Service.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options)
Starts ASP solving Asyncronously on a subset of data and options.
|
void |
Handler.startAsync(Callback c,
java.util.List<java.lang.Integer> program_index,
java.util.List<java.lang.Integer> option_index)
This method have to be implemented by subclasses to execute solver in a asynchronous way, if no parameters are given
the entire sets of programs and option are used
|
Modifier and Type | Method and Description |
---|---|
void |
AndroidHandler.startAsync(Callback c) |
void |
AndroidService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
void |
AndroidHandler.startAsync(Callback c,
java.util.List<java.lang.Integer> program_index,
java.util.List<java.lang.Integer> option_index) |
Modifier and Type | Method and Description |
---|---|
void |
DesktopService.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 |
void |
DesktopHandler.startAsync(Callback c,
java.util.List<java.lang.Integer> program_index,
java.util.List<java.lang.Integer> option_index) |
Modifier and Type | Method and Description |
---|---|
void |
DLVAndroidService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
Modifier and Type | Method and Description |
---|---|
void |
DLV2AndroidService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
Modifier and Type | Method and Description |
---|---|
void |
DLV2DesktopService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
Modifier and Type | Method and Description |
---|---|
void |
SPDAndroidService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |