net.automatalib.automata.base
Classes
StateIDDynamicMapping
StateIDGrowingMapping
StateIDStaticMapping