Package | Description |
---|---|
net.sf.tweety.lp.asp.analysis | |
net.sf.tweety.lp.asp.beliefdynamics.baserevision | |
net.sf.tweety.lp.asp.beliefdynamics.revision | |
net.sf.tweety.lp.asp.reasoner |
Modifier and Type | Method and Description |
---|---|
void |
AspInconsistencyMeasureTest.test1() |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<Program> |
ScreenedRemainderSets.calculateRemainderSetCandidates(Program p)
Recursively calculates consistent subsets of p.
|
Program |
ScreenedMaxichoiceConsolidation.consolidate(Program p)
Calculates the screened consolidation !r of program p using a maxi-choice selection
function s, i.e.
|
private boolean |
ScreenedRemainderSets.isConsistent(Program p) |
static void |
ScreenedRemainderSets.main(java.lang.String[] args)
Simple test case taken from [1]
|
Constructor and Description |
---|
ScreenedRemainderSets(Program p,
Program r,
Solver solver)
Creates a new set of screened remainder sets of program p that all contain
the screened rules r.
|
Modifier and Type | Method and Description |
---|---|
static void |
PreferenceHandling.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
protected void |
SolverBase.checkErrors()
Default implementation of error checking (should work for DLV package)
|
protected void |
Clingo.checkErrors() |
protected void |
SolverBase.checkSolver(java.lang.String path)
Checks if the solver in the given path is an existing file with
execute permission.
|
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 |
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) |