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

Packages that use AnswerSet

Package	Description
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.parser

Methods in net.sf.tweety.lp.asp.parser that return AnswerSet

Modifier and Type	Method	Description
static AnswerSet	ASPCore2Parser.parseAnswerSet(Reader reader)
static AnswerSet	ASPCore2Parser.parseAnswerSet(String answerSet)
AnswerSet	InstantiateVisitor.visit(ASTAnswerSet node, 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 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)
protected List<AnswerSet>	DLVSolver.parseResult(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