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

Methods in net.sf.tweety.lp.asp.reasoner that return types with arguments of type AnswerSet

Modifier and Type	Method and Description
List<AnswerSet>	DLVSolver.getModels(File file)
abstract Collection<AnswerSet>	ASPSolver.getModels(File f) Returns a characterizing model (answer set) of the given belief base.
List<AnswerSet>	ClingoSolver.getModels(File file)
List<AnswerSet>	DLVSolver.getModels(Program p)
abstract Collection<AnswerSet>	ASPSolver.getModels(Program p)
List<AnswerSet>	ClingoSolver.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>	DLVSolver.getModels(String p)
abstract Collection<AnswerSet>	ASPSolver.getModels(String p) Returns a characterizing model (answer set) of the given belief base.
List<AnswerSet>	ClingoSolver.getModels(String s)
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 and Description
AnswerSet(AnswerSet other) Copy-Constructor