| Class | Description |
|---|---|
| StateMachineBuilder | This file is part of the CRISTAL-iSE kernel. |
| StateMachineDelegate | This file is part of the CRISTAL-iSE kernel. |
| StateMachineXMLDelegate | This file is part of the CRISTAL-iSE kernel. |
| TransitionDelegate | This file is part of the CRISTAL-iSE kernel. |