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

Packages that use AnswerSetList

Package	Description
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.solver
net.sf.tweety.lp.asp.util

Uses of AnswerSetList in net.sf.tweety.lp.asp.beliefdynamics.revision

Fields in net.sf.tweety.lp.asp.beliefdynamics.revision declared as AnswerSetList

Modifier and Type	Field and Description
private AnswerSetList	CredibilityRevision.lastAnswersets
private AnswerSetList	CredibilityRevision.lastProjectedAnswersets

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return AnswerSetList

Modifier and Type	Method and Description
AnswerSetList	CredibilityRevision.getLastAnswerset()
AnswerSetList	CredibilityRevision.getLastProjectedAnswerSet()

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision with parameters of type AnswerSetList

Modifier and Type	Method and Description
Program	CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms, AnswerSetList 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, AnswerSetList answersets)

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(java.io.Reader reader)
static AnswerSetList	ASPParser.parseAnswerSetList(java.lang.String answerSetList)
AnswerSetList	InstantiateVisitor.visit(ASTAnswerSetList node, java.lang.Object data)

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

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

Modifier and Type	Method and Description
protected AnswerSetList	Clingo.buildASL(java.util.List<java.lang.String> output)
AnswerSetList	SolverBase.computeModels(java.util.List<java.lang.String> files, int maxModels)
AnswerSetList	Solver.computeModels(java.util.List<java.lang.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(java.util.List<java.lang.String> files, int maxModels)
AnswerSetList	Solver.computeModels(Program p, int maxModels) this method computes at most maxModels answer sets for a given program.
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
AnswerSetList	Solver.computeModels(java.lang.String s, int maxModels) this method computes at most maxModels answer sets for a given program as a flat string.
AnswerSetList	DLVComplex.computeModels(java.lang.String program, int models)
AnswerSetList	DLV.computeModels(java.lang.String s, int maxModels)
AnswerSetList	Clingo.computeModels(java.lang.String s, int maxModels)
protected AnswerSetList	DLV.parseAnswerSets(java.lang.String s)
private AnswerSetList	Clingo.parseAnswerSets(java.lang.String s)
protected AnswerSetList	DLVComplex.processResults(java.util.List<java.lang.String> result)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, java.lang.String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, java.lang.String otherOptions)

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

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

Constructor and Description
AnswerSetList(AnswerSetList other)