EdgeAnnotatedNFABuilder
Partial implementation of a builder for edge-annotated NFAs using `HashSet`s and `HashMap`s.
- Type Params
- D
Type of DFA constructed by this builder.
- K
Builder elements for this builder.
- S
The type of all states of the automaton
- T
The type of labels on (non-epsilon) transitions of the automaton
- Z
Type of style options for Graphviz export
Value members
Abstract methods
Concrete methods
Inherited methods
- Inherited from
- Growable
- Inherited from
- Growable
- Inherited from
- UnindexedFA
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
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
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
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
- NFABuilder
Add decorations for an initial state.
Add decorations for an initial state.
- Inherited from
- UnindexedFA
- Inherited from
- UnindexedFA
Creates an immutable NFA corresponding to the automaton described to this builder. This method creates elements of the internal state of the NFA, and passes them to the abstract method assembleNFA: the actual definition of assembleNFA is in the concrete classes (of package org.maraist.fa) implementing this trait.
Creates an immutable NFA corresponding to the automaton described to this builder. This method creates elements of the internal state of the NFA, and passes them to the abstract method assembleNFA: the actual definition of assembleNFA is in the concrete classes (of package org.maraist.fa) implementing this trait.
- Inherited from
- NFABuilder
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
Concrete fields
Inherited fields
Storage for all final state objects.
Storage for all final state objects.
- Inherited from
- FABuilder