net.automatalib.automata.graphs
Classes
AbstractAutomatonGraph
StateAsNodeIDs
TransitionEdge
TransitionEdge.Property