Interface | Description |
---|---|
DeterministicTransitionSystem<S,I,T> |
Deterministic transition system.
|
PowersetViewTS<S,I,T,OS,OT> | |
TransitionPredicate<S,I,T> | |
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.