|
| DLVAnswerSets (final String answerSets) |
|
| DLVAnswerSets (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) |
|
Definition at line 6 of file DLVAnswerSets.java.
◆ DLVAnswerSets()
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets.DLVAnswerSets |
( |
final String |
answerSets | ) |
|
|
inline |
The documentation for this class was generated from the following file: