Modifier and Type | Method and Description |
---|---|
InputProgram |
Handler.getInputProgram(int key)
Returns the specified
InputProgram element |
Modifier and Type | Method and Description |
---|---|
int |
Handler.addProgram(InputProgram program)
Add a new element inside
Handler.programs set. |
boolean |
Handler.removeProgram(InputProgram p)
Removes every occurrence of a specified
InputProgram element from Handler.programs 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 |
ASPInputProgram
a generic ASP program , with the capabilities of retrieve data by objects
|
Modifier and Type | Class and Description |
---|---|
class |
PDDLInputProgram |
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 | 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 |
---|---|
java.lang.String |
SPDUtility.createJson(java.util.List<InputProgram> pddlInputProgram) |
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) |