net.automatalib.ts.transout
Interfaces
DeterministicTransitionOutputTS
MealyTransitionSystem