public class DLVHEXAnswerSets extends AnswerSets
Constructor and Description |
---|
DLVHEXAnswerSets(java.lang.String answerSets) |
DLVHEXAnswerSets(java.lang.String output,
java.lang.String errors) |
addAnswerSet, clone, getAnswersets, getAnswerSetsString, getOptimalAnswerSets, storeAtom, storeCost