public class DLVAnswerSets extends AnswerSets
Constructor and Description |
---|
DLVAnswerSets(java.lang.String answerSets)
Represent an AnswerSet specific for DLV
|
DLVAnswerSets(java.lang.String out,
java.lang.String err) |
addAnswerSet, clone, getAnswersets, getAnswerSetsString, getOptimalAnswerSets, storeAtom, storeCost