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