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