Package net.automatalib.ts

This package (including sub-packages) contains the basic classes concerning transition systems.

Interface Summary

Interface	Description
DeterministicTransitionSystem<S,I,T>	Deterministic transition system.
FiniteKTS<S,I,T,AP>	A finite Kripke Transition System combines the properties of a finite transition system and a KripkeInterpretation.
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.