Uses of Class
net.sf.tweety.lp.asp.semantics.AnswerSet

Packages that use AnswerSet

Package	Description
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.reasoner
net.sf.tweety.lp.asp.semantics

Uses of AnswerSet in net.sf.tweety.lp.asp.beliefdynamics.revision

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 program
Program	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)

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