Builder
Records new states and transitions and then .finish creates the Automaton. Use this when you cannot create the Automaton directly because it's too restrictive to have to add all transitions leaving each state at once.
Functions
Link copied to clipboard
Add a virtual epsilon transition between source and dest. Dest state must already have all transitions added because this method simply copies those same transitions over to source.
Link copied to clipboard
Add a new transition with min = max = label.
Add a new transition with the specified source, dest, min, max.
Link copied to clipboard
Copies over all states from other.
Link copied to clipboard
Create a new state.