Uses of Class
eu.bandm.tools.lexic.Automaton.State
-
Uses of Automaton.State in eu.bandm.tools.lexic
Modifier and TypeFieldDescriptionprotected final Automaton.State
Automaton.initial
The initial state of the automaton.Modifier 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.Modifier 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.Modifier and TypeMethodDescriptionDAutomaton.getLiveStates()
Returns the set of live states of this automaton.Modifier 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.Modifier 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.ModifierConstructorDescriptionprotected
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.ModifierConstructorDescriptionprotected
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.