public class ClingoAnswerSets extends AnswerSets
Constructor and Description |
---|
ClingoAnswerSets(java.lang.String answersets) |
ClingoAnswerSets(java.lang.String out,
java.lang.String err) |
addAnswerSet, clone, getAnswersets, getAnswerSetsString, getOptimalAnswerSets, storeAtom, storeCost