EmbASP-Programmatic v7.1.0
|
Public Member Functions | |
void | AddAnswerSet () |
void | StoreAtom (string atom) |
void | StoreCost (int level, int weight) |
void it.unical.mat.parsers.asp.IASPDataCollection.AddAnswerSet | ( | ) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.
void it.unical.mat.parsers.asp.IASPDataCollection.StoreAtom | ( | string | atom | ) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.
void it.unical.mat.parsers.asp.IASPDataCollection.StoreCost | ( | int | level, |
int | weight | ||
) |
Implemented in it.unical.mat.embasp.languages.asp.AnswerSets.