Uses of Interface
net.sf.tweety.action.ActionDescriptionConsistencyTester

Packages that use ActionDescriptionConsistencyTester

Package	Description
net.sf.tweety.action.description

Uses of ActionDescriptionConsistencyTester in net.sf.tweety.action.description

Classes in net.sf.tweety.action.description that implement ActionDescriptionConsistencyTester

Modifier and Type	Class and 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.