Uses of Class
eu.bandm.tools.lexic.Automaton.State
Packages that use Automaton.State
-
Uses of Automaton.State in eu.bandm.tools.lexic
Fields in eu.bandm.tools.lexic declared as Automaton.StateModifier and TypeFieldDescriptionprotected final Automaton.State
Automaton.initial
The initial state of the automaton.Fields in eu.bandm.tools.lexic with type parameters of type Automaton.StateModifier and TypeFieldDescriptionprotected final Map
<Automaton.State, B> Automaton.Transformer.newTable
The behavioral table for the result.protected final Map
<Automaton.State, Behavior<L, T>> Automaton.table
The behavioral table of the automaton.Methods in eu.bandm.tools.lexic that return Automaton.StateModifier and TypeMethodDescriptionprotected Automaton.State
Automaton.Transformer.makeState
(Automaton.State oldState) Returns the new state that the given old state is transformed into.protected final Automaton.State
Automaton.Transformer.transform
(Automaton.State oldState) Transforms a state and its associated behavior.Methods in eu.bandm.tools.lexic that return types with arguments of type Automaton.StateModifier and TypeMethodDescriptionDAutomaton.getLiveStates()
Returns the set of live states of this automaton.Methods in eu.bandm.tools.lexic with parameters of type Automaton.StateModifier and TypeMethodDescriptionprotected abstract B
Automaton.Transformer.makeBehavior
(Automaton.State oldState, Behavior<L, T> oldBehavior) Returns the behavior that the given behavior is transformed into.protected Automaton.State
Automaton.Transformer.makeState
(Automaton.State oldState) Returns the new state that the given old state is transformed into.protected final Automaton.State
Automaton.Transformer.transform
(Automaton.State oldState) Transforms a state and its associated behavior.Method parameters in eu.bandm.tools.lexic with type arguments of type Automaton.StateModifier and TypeMethodDescription(package private) NAutomaton
<V> NAutomaton.copyPartial
(Predicate<? super Automaton.State> mustCopy) Returns an automaton that is equivalent to this automaton, but uses fresh states as required.Automaton.Transformer.transform
(BiFunction<Automaton.State, Map<Automaton.State, B>, ? extends R> cons) Transforms all reachable states of the automaton.Automaton.Transformer.transform
(BiFunction<Automaton.State, Map<Automaton.State, B>, ? extends R> cons) Transforms all reachable states of the automaton.Constructors in eu.bandm.tools.lexic with parameters of type Automaton.StateModifierConstructorDescriptionprotected
Automaton
(Automaton.State initial, Map<Automaton.State, Behavior<L, T>> table) Creates a new instance.(package private)
DAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<List<V>, Automaton.State>> table) Creates a new instance.(package private)
NAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<Set<V>, Set<Automaton.State>>> table) Creates a new instance.Constructor parameters in eu.bandm.tools.lexic with type arguments of type Automaton.StateModifierConstructorDescriptionprotected
Automaton
(Automaton.State initial, Map<Automaton.State, Behavior<L, T>> table) Creates a new instance.(package private)
DAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<List<V>, Automaton.State>> table) Creates a new instance.(package private)
DAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<List<V>, Automaton.State>> table) Creates a new instance.(package private)
NAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<Set<V>, Set<Automaton.State>>> table) Creates a new instance.(package private)
NAutomaton
(Automaton.State initial, Map<Automaton.State, Behavior<Set<V>, Set<Automaton.State>>> table) Creates a new instance.