Builder for NFAs enriched with annotations on transitions.
- Companion
- object
Value members
Inherited methods
- Inherited from
- Growable
- Inherited from
- Growable
- Inherited from
- UnindexedFA
- Inherited from
- Completer
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
- EdgeAnnotatedNFABuilder
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
- Definition Classes
- Inherited from
- EdgeAnnotatedNFABuilder
- Definition Classes
- Inherited from
- EdgeAnnotatedNFABuilder
- Definition Classes
- Inherited from
- EdgeAnnotatedNFABuilder
- Inherited from
- NFABuilder
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
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
Inherited fields
Storage for all final state objects.
Storage for all final state objects.
- Inherited from
- FABuilder