net.automatalib.automata.helpers
Classes
SimpleStateIDs
StateIDStaticMapping