Uses of Class
net.sf.tweety.lp.asp.semantics.AnswerSet
-
-
Uses of AnswerSet in net.sf.tweety.lp.asp.beliefdynamics.gui
Fields in net.sf.tweety.lp.asp.beliefdynamics.gui with type parameters of type AnswerSet Modifier and Type Field Description protected javax.swing.JList<AnswerSet>
SimpleRevisionCompareView. lstLeftAnswerSets
protected javax.swing.JList<AnswerSet>
SimpleRevisionCompareView. lstRightAnswerSets
-
Uses of AnswerSet in net.sf.tweety.lp.asp.beliefdynamics.revision
Fields in net.sf.tweety.lp.asp.beliefdynamics.revision with type parameters of type AnswerSet Modifier and Type Field Description private java.util.Collection<AnswerSet>
CredibilityRevision. lastAnswersets
private java.util.Collection<AnswerSet>
CredibilityRevision. lastProjectedAnswersets
Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return types with arguments of type AnswerSet Modifier and Type Method Description java.util.Collection<AnswerSet>
CredibilityRevision. getLastAnswerset()
java.util.Collection<AnswerSet>
CredibilityRevision. getLastProjectedAnswerSet()
Method parameters in net.sf.tweety.lp.asp.beliefdynamics.revision with type arguments of type AnswerSet Modifier and Type Method Description Program
CredibilityRevision.AnswersetProcessing. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided programProgram
CredibilityRevision.DefaultBehavior. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
-
Uses of AnswerSet in net.sf.tweety.lp.asp.parser
Methods in net.sf.tweety.lp.asp.parser that return AnswerSet Modifier and Type Method Description static AnswerSet
ASPCore2Parser. parseAnswerSet(java.io.Reader reader)
static AnswerSet
ASPCore2Parser. parseAnswerSet(java.lang.String answerSet)
AnswerSet
InstantiateVisitor. visit(ASTAnswerSet node, java.lang.Object data)
-
Uses of AnswerSet in net.sf.tweety.lp.asp.reasoner
Methods in net.sf.tweety.lp.asp.reasoner that return AnswerSet Modifier and Type Method Description AnswerSet
ASPSolver. getModel(Program p, int maxInt)
Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.AnswerSet
ClingoSolver. getModel(Program p)
AnswerSet
DLVSolver. getModel(Program p)
Methods in net.sf.tweety.lp.asp.reasoner that return types with arguments of type AnswerSet Modifier and Type Method Description abstract java.util.Collection<AnswerSet>
ASPSolver. getModels(java.io.File f)
Returns a characterizing model (answer set) of the given belief base.abstract java.util.Collection<AnswerSet>
ASPSolver. getModels(java.lang.String p)
Returns a characterizing model (answer set) of the given belief base.abstract java.util.Collection<AnswerSet>
ASPSolver. getModels(Program p)
java.util.Collection<AnswerSet>
ASPSolver. getModels(Program p, int maxInt)
Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.java.util.List<AnswerSet>
ClingoSolver. getModels(java.io.File file)
java.util.List<AnswerSet>
ClingoSolver. getModels(java.lang.String s)
java.util.List<AnswerSet>
ClingoSolver. getModels(Program p)
java.util.List<AnswerSet>
DLVSolver. getModels(java.io.File file)
java.util.List<AnswerSet>
DLVSolver. getModels(java.lang.String p)
java.util.List<AnswerSet>
DLVSolver. getModels(Program p)
private java.util.List<AnswerSet>
ClingoSolver. parseResult(java.lang.String output)
Parses output from Clingo solver to AnswerSetList.protected java.util.List<AnswerSet>
DLVSolver. parseResult(java.lang.String s)
Processes a string containing answer sets and returns an AnswerSetList. -
Uses of AnswerSet in net.sf.tweety.lp.asp.semantics
Constructors in net.sf.tweety.lp.asp.semantics with parameters of type AnswerSet Constructor Description AnswerSet(AnswerSet other)
Copy-Constructor
-