public class CActionDescriptionConsistencyTester extends java.lang.Object implements ActionDescriptionConsistencyTester<CLaw>
Modifier and Type | Field and Description |
---|---|
private AspInterface |
aspsolver |
Constructor and Description |
---|
CActionDescriptionConsistencyTester(AspInterface aspsolver)
Creates a new consistency tester which will use the given answer set
solver.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isConsistent(ActionDescription<CLaw> causalRules)
Checks whether the given set of causal rules is consistent.
|
boolean |
isConsistent(CActionDescription actionDescription)
Checks, whether the given action description in the action language C is
consistent.
|
private AspInterface aspsolver
public CActionDescriptionConsistencyTester(AspInterface aspsolver)
aspsolver
- public boolean isConsistent(CActionDescription actionDescription)
actionDescription
- an action description.public boolean isConsistent(ActionDescription<CLaw> causalRules)
ActionDescriptionConsistencyTester
isConsistent
in interface ActionDescriptionConsistencyTester<CLaw>
isConsistent
in interface ConsistencyTester<ActionDescription<CLaw>>
causalRules
- a set of causal rules.