|
| DLV2AnswerSets (final String answersets) |
|
| DLV2AnswerSets (final String out, final String err) |
|
| AnswerSets (final String out) |
|
| AnswerSets (final String out, final String err) |
|
Object | clone () throws CloneNotSupportedException |
|
List< AnswerSet > | getAnswersets () |
|
List< AnswerSet > | getOptimalAnswerSets () |
|
String | getAnswerSetsString () |
|
void | addAnswerSet () |
|
void | storeAtom (final String result) |
|
void | storeCost (final int level, final int weight) |
|
| Output (final String initial_output) |
|
| Output (final String out, final String err) |
|
String | getErrors () |
|
String | getOutput () |
|
void | setErrors (final String err) |
|
void | setOutput (final String output) |
|
represents Dlv2's answersets
Definition at line 8 of file DLV2AnswerSets.java.
The documentation for this class was generated from the following file: