EdgeAnnotatedDFABuilder
Instantiable builder for edge-annotated DFAs using `HashSet`s and `HashMap`s.
- Type Params
- S
The type of all states of the automaton
- T
The type of labels on (non-epsilon) transitions of the automaton
Value members
Inherited methods
Set the initial annotation "before" the initial state.
Set the initial annotation "before" the initial state.
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
Helper method for the scala.collection.mutable.Builder implementation.
Helper method for the scala.collection.mutable.Builder implementation.
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
- Inherited from
- UnindexedFA
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
Clear this builder. When overriding this method, it is important
to call super.clear()
.
Clear this builder. When overriding this method, it is important
to call super.clear()
.
- Definition Classes
- Inherited from
- FABuilder
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
- Inherited from
- EdgeAnnotatedDFABuilder
Perform an action for every annotated unlabelled edge in this automaton.
Perform an action for every annotated unlabelled edge in this automaton.
- Definition Classes
- Inherited from
- UnindexedEdgeAnnotatedFA
Perform an action for every annotated labelled edge in this automaton.
Perform an action for every annotated labelled edge in this automaton.
- Definition Classes
- Inherited from
- UnindexedEdgeAnnotatedFA
- Inherited from
- EdgeAnnotatedDFABuilder
Use Graphviz to render this object as specified.
Use Graphviz to render this object as specified.
- Inherited from
- Graphable
Use Graphviz to render this object (in the default format) to the given file.
Use Graphviz to render this object (in the default format) to the given file.
- Inherited from
- Graphable
Return whether there is an annotation associated "before" the initial state.
Return whether there is an annotation associated "before" the initial state.
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
Return any annotation associated "before" the initial state.
Return any annotation associated "before" the initial state.
- Inherited from
- EdgeAnnotatedDFABuilder
Internal routine used by [[#toDOT]]
. Subclesses may override,
but still call super.internalsToDOT, to extend the Graphviz
representation of a DFA.
Internal routine used by [[#toDOT]]
. Subclesses may override,
but still call super.internalsToDOT, to extend the Graphviz
representation of a DFA.
- Inherited from
- UnindexedFA
- Inherited from
- EdgeAnnotatedDFABuilder
- Inherited from
- Builder
Add decorations for an initial state.
Add decorations for an initial state.
- Inherited from
- UnindexedFA
- Definition Classes
- Inherited from
- UnindexedEdgeAnnotatedFA
- Definition Classes
- Inherited from
- UnindexedEdgeAnnotatedFA
- Inherited from
- UnindexedFA
Remove any initial annotation "before" the initial state.
Remove any initial annotation "before" the initial state.
- Definition Classes
- Inherited from
- EdgeAnnotatedDFABuilder
Deprecated and Inherited methods
- Deprecated
[Since version 2.13.0]
Use `++=` aka `addAll` instead of varargs `+=`; infix operations with an operand of multiple args will be deprecated- Inherited from
- Growable
Inherited fields
Storage for all final state objects.
Storage for all final state objects.
- Inherited from
- FABuilder