Package net.sf.tweety.action.description.analysis

Interface Summary

Interface	Description
ActionDescriptionConsistencyTester<T extends CausalLaw>	Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.

Class Summary

Class	Description
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.