DFABuilder
Methods for builders of a deterministic finite automaton.
- Type Params
- D
Type of DFA constructed by this builder.
- K
Builder elements for this builder.
- S
Type representing states.
- T
Type representing transition labels.
- Z
Type of style options for Graphviz export
Value members
Abstract methods
Inherited methods
Returns true
if this automaton accepts the given string.
Returns true
if this automaton accepts the given string.
- Inherited from
- UnindexedFA
Adds a final state to the automaton. This method should have no effect if the state is already a final state, and should subsume addState if the state has not previously been added.
Adds a state to the automaton. This method should have no effect if the state is already included.
Adds a state to the automaton. This method should have no effect if the state is already included.
- Inherited from
- FABuilder
Adds a transition labelled t
from s1
to s2
Adds a transition labelled t
from s1
to s2
- Inherited from
- FABuilder
Return the pairs comprising all unlabelled transitions.
Return the pairs comprising all unlabelled transitions.
- Inherited from
- UnindexedFA
Returns the Set of final states in this automaton.
Returns the Set of final states in this automaton.
- Inherited from
- UnindexedFA
Perform some action for each epsilon transition in the automaton. Note that in many (deterministic) automata, this method is a no-op, but in included for an easy consistency.
Perform some action for each epsilon transition in the automaton. Note that in many (deterministic) automata, this method is a no-op, but in included for an easy consistency.
- Inherited from
- UnindexedFA
Perform some action for each final state in the automaton.
Perform some action for each final state in the automaton.
- Inherited from
- UnindexedFA
Perform some action for each initial state in the automaton.
Perform some action for each initial state in the automaton.
- Inherited from
- UnindexedFA
Perform some action for each state in the automaton.
Perform some action for each state in the automaton.
- Inherited from
- UnindexedFA
Perform some action for each transition in the automaton.
Perform some action for each transition in the automaton.
- Inherited from
- UnindexedFA
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
Returns the Set of initial states in this automaton.
Returns the Set of initial states in this automaton.
- Inherited from
- UnindexedFA
Returns whether the given state s
is final in this automaton.
Returns whether the given state s
is final in this automaton.
- Inherited from
- UnindexedFA
Returns whether the given state s
is initial in this automaton.
Returns whether the given state s
is initial in this automaton.
- Inherited from
- UnindexedFA
Derive a new isomorphic automaton from this one by applying transforms to the states and transitions. This method does not check that either map is injective: if they are not, then the result may be unpredictable.
Derive a new isomorphic automaton from this one by applying transforms to the states and transitions. This method does not check that either map is injective: if they are not, then the result may be unpredictable.
- Inherited from
- UnindexedFA
Derive a new isomorphic automaton from this one by applying
transforms to the states. This method does not check that the
stateMap
is injective: if it is not, then the result may have
separate states which cannot be distinguished.
Derive a new isomorphic automaton from this one by applying
transforms to the states. This method does not check that the
stateMap
is injective: if it is not, then the result may have
separate states which cannot be distinguished.
- Inherited from
- UnindexedFA
Derive a new isomorphic automaton from this one by applying
transforms to the transitions. This method does not check that the
transitionMap
is injective: if it is not, then the result may have
separate transitions which cannot be distinguished.
Derive a new isomorphic automaton from this one by applying
transforms to the transitions. This method does not check that the
transitionMap
is injective: if it is not, then the result may have
separate transitions which cannot be distinguished.
- Inherited from
- UnindexedFA
Remove a state from the set of final states of the automaton. This method should have no effect if the state is not already a final state, or is not part of the automaton at all.
Remove a state from the set of final states of the automaton. This method should have no effect if the state is not already a final state, or is not part of the automaton at all.
- Inherited from
- FABuilder
Remove a state from the automaton. This method should have no effect if the state is not part of the automaton.
Remove a state from the automaton. This method should have no effect if the state is not part of the automaton.
- Inherited from
- FABuilder
Return the inner lines of a digraph block (or other Graphviz style) to render this object.
Return the inner lines of a digraph block (or other Graphviz style) to render this object.
- Inherited from
- Graphable
Returns the state, if any, into which the automaton could
transition starting from s
via a transition labelled t
.
Returns the state, if any, into which the automaton could
transition starting from s
via a transition labelled t
.
- Inherited from
- UnindexedDFA
Return the triples comprising all labelled transitions.
Return the triples comprising all labelled transitions.
- Inherited from
- UnindexedFA
Returns the (possibly empty, and in deterministic implementations
at most singleton) set of states into which the automaton could
transition starting from s
via a transition labelled t
.
Returns the (possibly empty, and in deterministic implementations
at most singleton) set of states into which the automaton could
transition starting from s
via a transition labelled t
.
- Inherited from
- UnindexedFA
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