Package | Description |
---|---|
net.sf.tweety.action.description | |
net.sf.tweety.action.query | |
net.sf.tweety.lp.asp.solver |
Modifier and Type | Field and Description |
---|---|
private AspInterface |
CActionDescriptionConsistencyTester.aspsolver |
private AspInterface |
CTransitionSystemCalculator.aspsolver |
Constructor and Description |
---|
CActionDescriptionConsistencyTester(AspInterface aspsolver)
Creates a new consistency tester which will use the given answer set
solver.
|
CTransitionSystemCalculator(AspInterface aspsolver)
Creates a new transition system calculator with the given interface to an
answer set solver.
|
Constructor and Description |
---|
SActionQuerySatisfactionTester(AspInterface aspsolver)
Creates a new instance of this satisfaction tester using the given answer
set solver.
|
Modifier and Type | Field and Description |
---|---|
protected AspInterface |
SolverBase.ai |