net.automatalib.automata.graphs
Classes
AbstractAutomatonGraph
StateAsNodeIDs