Package | Description |
---|---|
net.sf.tweety.lp.asp.beliefdynamics.revision | |
net.sf.tweety.lp.asp.parser | |
net.sf.tweety.lp.asp.reasoner | |
net.sf.tweety.lp.asp.semantics |
Modifier and Type | Field and Description |
---|---|
private AnswerSetList |
CredibilityRevision.lastAnswersets |
private AnswerSetList |
CredibilityRevision.lastProjectedAnswersets |
Modifier and Type | Method and Description |
---|---|
AnswerSetList |
CredibilityRevision.getLastAnswerset() |
AnswerSetList |
CredibilityRevision.getLastProjectedAnswerSet() |
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) |
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) |
Modifier and Type | Method and Description |
---|---|
protected AnswerSetList |
Clingo.buildASL(java.util.List<java.lang.String> output)
Processes clingo output and returns a list of answer sets.
|
AnswerSetList |
DLVComplex.computeModels(java.util.List<java.lang.String> files,
int maxModels) |
AnswerSetList |
DLV.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 |
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(java.lang.String program,
int models) |
AnswerSetList |
DLV.computeModels(java.lang.String s,
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 |
Clingo.computeModels(java.lang.String s,
int maxModels) |
protected AnswerSetList |
DLV.parseAnswerSets(java.lang.String s)
Processes a string of answer sets and returns an AnswerSetList.
|
private AnswerSetList |
Clingo.parseAnswerSets(java.lang.String s)
Uses ASPParser to parse answer sets from string.
|
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) |
Constructor and Description |
---|
AnswerSetList(AnswerSetList other) |