net.automatalib.ts
Interfaces
DeterministicTransitionSystem
TransitionSystem
UniversalDTS
UniversalTransitionSystem