Package org.tweetyproject.action.description.analysis

package org.tweetyproject.action.description.analysis

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