Uses of Class net.sf.tweety.lp.asp.util.AnswerSetList (Tweety (ASP Library) 1.10 API)

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)`

Methods in net.sf.tweety.lp.asp.solver that return AnswerSetList
Modifier and Type	Method and Description
`protected AnswerSetList`	Clingo.`buildASL(List<String> output)`
`AnswerSetList`	SolverBase.`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)`
`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 Classnet.sf.tweety.lp.asp.util.AnswerSetList