Class | Description |
---|---|
CActionDescription |
This class represents an action description for the action language C as a
set of causal rules, and provides some basic functionality such as grounding.
|
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.
|
CTransitionSystemCalculator |
This class calculates the transition system as it is described by an action
description in the action language C using extended logic programming with an
approach from: Representing Transition Systems by Logic Programs.
|