Uses of Class
org.tweetyproject.lp.asp.semantics.AnswerSet

Packages that use AnswerSet

Package	Description
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.lp.asp.semantics

Uses of AnswerSet in org.tweetyproject.lp.asp.beliefdynamics.revision

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.reasoner

Methods in org.tweetyproject.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)
AnswerSet	DLVSolver.getModel(Program p, int maxInt)	Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

Methods in org.tweetyproject.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)
java.util.Collection<AnswerSet>	DLVSolver.getModels(Program p, int maxInt)	Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

Uses of AnswerSet in org.tweetyproject.lp.asp.semantics

Constructors in org.tweetyproject.lp.asp.semantics with parameters of type AnswerSet

Constructor	Description
AnswerSet(AnswerSet other)	Copy-Constructor