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