net.automatalib.automata.graphs

Classes

• AbstractAutomatonGraph
• StateAsNodeIDs
• TransitionEdge
• TransitionEdge.Property