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.