Structs
Type Definitions
An
EdgeIndex
represents an edge in the automaton.An
StateIndex
represents a state in the automaton.EdgeIndex
represents an edge in the automaton.StateIndex
represents a state in the automaton.