EdgeAnnotatedDFA

Internal storage for the annotations on labelled edges.

Return the annotation (if any) on the transition from the given state and with the given label.

Return the annotation (if any) on the transition from src to dest labelled label.

Return the annotation (if any) on the transition from the state at index srcIdx with the label with index labelIdx.

Return the annotation (if any) on the transition from the state at index srcIdx to the state at index destIdx via the label with index labelIdx.

Return the annotation (if any) on the e-transition from src to dest. For automata without e-transitions, this method will always return None.

Return the annotation (if any) on the unlabelled transition from the state at index srcIdx to the state with index destIdx.

Return whether there is an annotation associated "before" the initial state.

Add decorations for an initial state. Overridden in the org.maraist.fa.full.EdgeAnnotatedDFA for showing initial annotations.

Check whether there is an annotation on the transition from src to dest labelled label.

Check whether there is an annotation on the unlabeled transition from src to dest. For automata without e-transitions, this method will always return false.

Return the indices of the final states.

Perform an action for every annotated unlabelled edge in this automaton.

Perform an action for every annotated labelled edge in this automaton.

Use Graphviz to render this object as specified.

Use Graphviz to render this object (in the default format) to the given file.

Return any annotation associated "before" the initial state.

Returns the index of the initial state.

Internal routine used by [[#toDOT]]. Subclesses may override, but still call super.internalsToDOT, to extend the Graphviz representation of a DFA.