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.