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.