Uses of Interface
org.tweetyproject.action.description.analysis.ActionDescriptionConsistencyTester
-
Packages that use ActionDescriptionConsistencyTester Package Description org.tweetyproject.action.description.analysis -
-
Uses of ActionDescriptionConsistencyTester in org.tweetyproject.action.description.analysis
Classes in org.tweetyproject.action.description.analysis that implement ActionDescriptionConsistencyTester Modifier and Type Class Description class
CActionDescriptionConsistencyTester
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.
-