Class CActionDescriptionConsistencyTester

java.lang.Object
org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester
All Implemented Interfaces:
ActionDescriptionConsistencyTester<CLaw>, ConsistencyTester<ActionDescription<CLaw>>

public class CActionDescriptionConsistencyTester extends Object implements ActionDescriptionConsistencyTester<CLaw>
This class is able to check if 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