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