Package | Description |
---|---|
net.sf.tweety.action.description.analysis |
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.
|