Modifier and Type | Field and Description |
---|---|
private Solver |
SdInconsistencyMeasure.solver
The ASP solver used for determining inconsistency
|
private Solver |
PmInconsistencyMeasure.solver
The ASP solver used for determining inconsistency
|
static Solver |
AspInconsistencyMeasureTest.solver |
Constructor and Description |
---|
PmInconsistencyMeasure(Solver solver)
Creates a new inconsistency measure based on the given
solver.
|
SdInconsistencyMeasure(Solver solver)
Creates a new inconsistency measure based on the given
solver.
|
Modifier and Type | Field and Description |
---|---|
private Solver |
ScreenedRemainderSets.solver |
private Solver |
ELPBaseRevisionOperator.solver |
private Solver |
ScreenedMaxichoiceConsolidation.solver |
Constructor and Description |
---|
ELPBaseRevisionOperator(Solver solver,
SelectionFunction<Rule> selection) |
ScreenedMaxichoiceConsolidation(Program screen,
SelectionFunction<Rule> selection,
Solver solver)
Creates a new screened maxi-choice consolidation operator with the given screen,
selection function and a link to an answer set solver.
|
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 | Field and Description |
---|---|
protected Solver |
SimpleRevisionCompareModel.solver |
Modifier and Type | Method and Description |
---|---|
void |
SimpleRevisionCompareModel.setSolver(Solver solver) |
Constructor and Description |
---|
SimpleRevisionCompareModel(Solver solver) |
Modifier and Type | Field and Description |
---|---|
private Solver |
PreferenceHandling.solver |
private Solver |
CredibilityRevision.solver
reference to the solver used for the answer set generation
|
Modifier and Type | Method and Description |
---|---|
void |
PreferenceHandling.setSolver(Solver solver) |
Constructor and Description |
---|
CredibilityRevision(Solver solver)
Ctor: setting the solver at construction time
|
CredibilityRevision(Solver solver,
int maxInt) |
PreferenceHandling(Solver solver) |
PreferenceHandling(Solver solver,
int maxInt) |
Modifier and Type | Field and Description |
---|---|
private Solver |
ParameterisedArgumentativeSelectiveRevisionOperator.solver |
Constructor and Description |
---|
ParameterisedArgumentativeSelectiveRevisionOperator(Solver solver,
AttackStrategy attackRelation,
AttackStrategy defenseRelation,
ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type)
Constructs a new selective revision operator using the given attack relations
and a asp solver.
|
Modifier and Type | Class and Description |
---|---|
class |
Clingo |
class |
DLV
wrapper class for the dlv answer set solver command line
utility.
|
class |
DLVComplex |
class |
SolverBase
Base class for solver adds generic error handling code.
|