Modifier and Type | Method and Description |
---|---|
Output |
Handler.startSync() |
Output |
Service.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options)
Starts ASP solving Syncronously on a subset of data and options.
|
Output |
Handler.startSync(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 synchronous way, if no parameters are given
the entire sets of programs and option are used
|
Modifier and Type | Method and Description |
---|---|
void |
Callback.callback(Output o) |
Modifier and Type | Class and Description |
---|---|
class |
AnswerSets
A collection of
AnswerSet |
Modifier and Type | Class and Description |
---|---|
class |
Plan
A simplified solution to a PDDL problem
|
Modifier and Type | Method and Description |
---|---|
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 |
---|---|
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 |
Output |
DesktopHandler.startSync(java.util.List<java.lang.Integer> program_index,
java.util.List<java.lang.Integer> option_index) |
Modifier and Type | Class and Description |
---|---|
class |
ClingoAnswerSets
represents Clingo's answersets
|
Modifier and Type | Class and Description |
---|---|
class |
DLVAnswerSets |
Modifier and Type | Class and Description |
---|---|
class |
DLV2AnswerSets
represents Dlv2's answersets
|
Modifier and Type | Method and Description |
---|---|
Output |
DLV2DesktopService.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |
Modifier and Type | Class and Description |
---|---|
class |
DLVHEXAnswerSets |
Modifier and Type | Class and Description |
---|---|
class |
SPDPlan |
Modifier and Type | Method and Description |
---|---|
Output |
SPDDesktopService.startSync(java.util.List<InputProgram> programs,
java.util.List<OptionDescriptor> options) |