EdgeAnnotatedNFA

Returns true if this automaton accepts the given string. The default implementation is to convert the NFA to a DFA, and check acceptance there. This is not necessarily good.

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

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

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

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

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

This method serves as a hook into the Rabin-Scott implementation for variation by extensions of the classical NFA. Does nothing by default, but can be overridden in subclasses. This method is called at the point where an entry is added to the (under construction) array of DFA transitions.

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.

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.

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

Add decorations for an initial state.