EmbASP-Narrative v7.1.0
|
Public Member Functions | |
DLVAnswerSets (final String answerSets) | |
DLVAnswerSets (final String out, final String err) | |
Public Member Functions inherited from it.unical.mat.embasp.languages.asp.AnswerSets | |
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) |
Public Member Functions inherited from it.unical.mat.embasp.base.Output | |
Output () | |
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) |
Protected Member Functions | |
void | parse () |
Additional Inherited Members | |
Protected Attributes inherited from it.unical.mat.embasp.languages.asp.AnswerSets | |
List< AnswerSet > | answersets |
Protected Attributes inherited from it.unical.mat.embasp.base.Output | |
String | output |
String | errors |
|
inline |
Represent an AnswerSet specific for DLV
|
inline |
|
inlineprotected |
Reimplemented from it.unical.mat.embasp.base.Output.