Interface | Description |
---|---|
DeterministicTransitionSystem<S,I,T> |
Deterministic transition system.
|
TransitionSystem<S,I,T> |
Transition system interface.
|
UniversalDTS<S,I,T,SP,TP> |
Universal deterministic transition system.
|
UniversalTransitionSystem<S,I,T,SP,TP> |
A "universal" transition system, which captures the possibility to assign
properties to states and transitions.
|
Copyright © 2015. All Rights Reserved.