| Package | Description |
|---|---|
| net.sf.tweety.lp.asp.analysis | |
| net.sf.tweety.lp.asp.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 | 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.
|
Copyright © 2018. All rights reserved.