Modifier and Type | Method and Description |
---|---|
OptionDescriptor |
Handler.getOptionDescriptor(int key)
Returns the specified
OptionDescriptor element |
Modifier and Type | Method and Description |
---|---|
int |
Handler.addOption(OptionDescriptor o)
Add a new element inside
Handler.options set. |
boolean |
Handler.removeOption(OptionDescriptor o)
Removes every occurrence of a specified
OptionDescriptor element from Handler.options set. |
Modifier and Type | Method and Description |
---|---|
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.
|
Output |
Service.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options)
Starts ASP solving Syncronously on a subset of data and options.
|
Modifier and Type | Class and Description |
---|---|
class |
ASPFilterOption
Generic filter option for ASP solver
|
Modifier and Type | Method and Description |
---|---|
void |
AndroidService.startAsync(Callback callback,
java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
Output |
AndroidService.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options)
Android don't have the capability to perform long tasking operation synchronously
|
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 |
Output |
DesktopService.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options)
Start a new process for the
DesktopService.exe_path and starts solving |
Modifier and Type | Class and Description |
---|---|
class |
DLVFilterOption |
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) |
Output |
DLV2DesktopService.startSync(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) |
Modifier and Type | Method and Description |
---|---|
Output |
SPDDesktopService.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |