CActionDescriptionConsistencyTester (Tweety (Action and Change) 1.16 API)

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

All Implemented Interfaces:

ActionDescriptionConsistencyTester<CLaw>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<CLaw>>
```
public class CActionDescriptionConsistencyTester
extends 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

Constructor Summary

Constructors
Constructor	Description
`CActionDescriptionConsistencyTester(net.sf.tweety.lp.asp.reasoner.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

- Constructor Detail
  - CActionDescriptionConsistencyTester
```
public CActionDescriptionConsistencyTester(net.sf.tweety.lp.asp.reasoner.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 net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<CLaw>>
    
    Parameters:
    
    causalRules - a set of causal rules.
    
    Returns:
    
    true iff the given set of causal rules is consistent.