CActionDescriptionConsistencyTester

java.lang.Object
- net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester

All Implemented Interfaces:

ActionDescriptionConsistencyTester<CLaw>, ConsistencyTester<ActionDescription<CLaw>>
```
public class CActionDescriptionConsistencyTester
extends java.lang.Object
implements ActionDescriptionConsistencyTester<CLaw>
```
This class is able to check, whether a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state. This check is accomplished using the CTransitionSystemCalculator and thus an answer set solver.

Author:

Sebastian Homann, Matthias Thimm

Field Summary

Fields
Modifier and Type Field Description

private ASPSolver aspsolver

Constructor Summary

Constructors
Constructor Description

CActionDescriptionConsistencyTester(ASPSolver aspsolver)
Creates a new consistency tester which will use the given answer set solver.

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - aspsolver
```
private ASPSolver aspsolver
```
- Constructor Detail
  - CActionDescriptionConsistencyTester
```
public CActionDescriptionConsistencyTester(ASPSolver aspsolver)
```
    Creates a new consistency tester which will use the given answer set solver.
    
    Parameters:
    
    aspsolver - some ASP solver
- Method Detail
  - isConsistent
```
public boolean isConsistent(CActionDescription actionDescription)
```
    Checks, whether the given action description in the action language C is consistent.
    
    Parameters:
    
    actionDescription - an action description.
    
    Returns:
    
    true iff the action description is consistent.
  - isConsistent
```
public boolean isConsistent(ActionDescription<CLaw> causalRules)
```
    Description copied from interface: ActionDescriptionConsistencyTester
    
    Checks whether the given set of causal rules is consistent.
    
    Specified by:
    
    isConsistent in interface ActionDescriptionConsistencyTester<CLaw>
    
    Specified by:
    
    isConsistent in interface ConsistencyTester<ActionDescription<CLaw>>
    
    Parameters:
    
    causalRules - a set of causal rules.
    
    Returns:
    
    true iff the given set of causal rules is consistent.