Package net.automatalib.ts

Interface Summary

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.