net.automatalib.ts
Interfaces
DeterministicTransitionSystem
PowersetViewTS
TransitionPredicate
TransitionSystem
UniversalDTS
UniversalTransitionSystem