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
Collection<AnswerSet>	CredibilityRevision.getLastAnswerset()	Retrieves the collection of the last answer sets obtained from the solver.
Collection<AnswerSet>	CredibilityRevision.getLastProjectedAnswerSet()	Retrieves the collection of the last projected answer sets obtained from the solver.

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.revision with type arguments of type AnswerSet

Modifier and Type	Method	Description
Program	CredibilityRevision.AnswersetProcessing.process(List<Program> orderedPrograms, 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(List<Program> orderedPrograms, 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	ASPParser.parseAnswerSet(Reader reader)	Parse parseAnswerSet
static AnswerSet	ASPParser.parseAnswerSet(String answerSet)	Parse AnswerSet
AnswerSet	InstantiateVisitor.visit(ASTAnswerSet node, 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 Collection<AnswerSet>	ASPSolver.getModels(File f)	Returns a characterizing model (answer set) of the given belief base.
abstract Collection<AnswerSet>	ASPSolver.getModels(String p)	Returns a characterizing model (answer set) of the given belief base.
abstract Collection<AnswerSet>	ASPSolver.getModels(Program p)
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.
List<AnswerSet>	ClingoSolver.getModels(File file)
List<AnswerSet>	ClingoSolver.getModels(String s)
List<AnswerSet>	ClingoSolver.getModels(Program p)
List<AnswerSet>	DLVSolver.getModels(File file)
List<AnswerSet>	DLVSolver.getModels(String p)
List<AnswerSet>	DLVSolver.getModels(Program p)
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

Modifier	Constructor	Description
	AnswerSet(AnswerSet other)	Copy-Constructor