EmbASP-Java v7.1.0
|
Public Member Functions | |
void | addAnswerSet () |
void | storeAtom (final String atom) |
void | storeCost (final int level, final int weight) |
void it.unical.mat.parsers.asp.ASPDataCollection.addAnswerSet | ( | ) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.
void it.unical.mat.parsers.asp.ASPDataCollection.storeAtom | ( | final String | atom | ) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.
void it.unical.mat.parsers.asp.ASPDataCollection.storeCost | ( | final int | level, |
final int | weight | ||
) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.