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

Packages that use AnswerSetList

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

Uses of AnswerSetList in net.sf.tweety.lp.asp.parser

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

Modifier and Type	Method and Description
static AnswerSetList	ASPParser.parseAnswerSetList(Reader reader)
static AnswerSetList	ASPParser.parseAnswerSetList(String answerSetList)
AnswerSetList	InstantiateVisitor.visit(ASTAnswerSetList node, Object data)

Uses of AnswerSetList in net.sf.tweety.lp.asp.reasoner

Methods in net.sf.tweety.lp.asp.reasoner that return AnswerSetList

Modifier and Type	Method and Description
protected AnswerSetList	Clingo.buildASL(List<String> output) Processes clingo output and returns a list of answer sets.
AnswerSetList	DLVComplex.computeModels(List<String> files, int maxModels)
AnswerSetList	DLV.computeModels(List<String> files, int maxModels)
AnswerSetList	Solver.computeModels(List<String> files, int maxModels) This method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.
AnswerSetList	Clingo.computeModels(List<String> files, int maxModels)
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Solver.computeModels(Program p, int maxModels) This method computes at most maxModels answer sets for a given program.
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
AnswerSetList	DLVComplex.computeModels(String program, int models)
AnswerSetList	DLV.computeModels(String s, int maxModels)
AnswerSetList	Solver.computeModels(String s, int maxModels) This method computes at most maxModels answer sets for a given program as a flat string.
AnswerSetList	Clingo.computeModels(String s, int maxModels)
protected AnswerSetList	DLV.parseAnswerSets(String s) Processes a string of answer sets and returns an AnswerSetList.
protected AnswerSetList	DLVComplex.processResults(List<String> result)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, String otherOptions)

Uses of AnswerSetList in net.sf.tweety.lp.asp.semantics

Constructors in net.sf.tweety.lp.asp.semantics with parameters of type AnswerSetList

Constructor and Description
AnswerSetList(AnswerSetList other)