Uses of Class
it.tugamer89.autogex.core.State

Packages that use State

Package	Description
it.tugamer89.autogex.core
it.tugamer89.autogex.models
it.tugamer89.autogex.trace

Uses of State in it.tugamer89.autogex.core

Methods in it.tugamer89.autogex.core that return State

Modifier and Type	Method	Description
State	Transition.from()	Returns the value of the from record component.
State	AbstractAutomaton.getInitialState()
State	AbstractAutomatonBuilder.getInitialState()	Gets the registered initial state.
State	Automaton.getInitialState()	Retrieves the starting state of the automaton.
State	Transition.to()	Returns the value of the to record component.

Methods in it.tugamer89.autogex.core that return types with arguments of type State

Modifier and Type	Method	Description
Set<State>	AbstractAutomaton.getFinalStates()
Set<State>	AbstractAutomatonBuilder.getFinalStates()	Gets the set of all registered final states.
Set<State>	Automaton.getFinalStates()	Retrieves all the accepting (final) states of the automaton.
Set<State>	AbstractAutomaton.getStates()
Set<State>	Automaton.getStates()	Retrieves all the states within the automaton.
Map<String,State>	AbstractAutomatonBuilder.getStatesMap()	Gets the map of all registered states.

Constructors in it.tugamer89.autogex.core with parameters of type State

Modifier	Constructor	Description
	Transition(State from, Character symbol, State to)	Creates an instance of a Transition record class.

Uses of State in it.tugamer89.autogex.models

Methods in it.tugamer89.autogex.models that return types with arguments of type State

Modifier and Type	Method	Description
Set<State>	ENFA.epsilonClosure(Set<State> startStates)	Computes the ε-closure of a set of states.
Map<State, Map<Character, State>>	DFA.getTransitionTable()	Retrieves the internal transition table of the DFA.
Map<State, Map<Character, State>>	DFA.getTransitionTable()	Retrieves the internal transition table of the DFA.
Map<State, Map<Character, Set<State>>>	ENFA.getTransitionTable()	Retrieves the internal transition table of the ENFA.
Map<State, Map<Character, Set<State>>>	ENFA.getTransitionTable()	Retrieves the internal transition table of the ENFA.
Map<State, Map<Character, Set<State>>>	NFA.getTransitionTable()	Retrieves the internal transition table of the NFA.
Map<State, Map<Character, Set<State>>>	NFA.getTransitionTable()	Retrieves the internal transition table of the NFA.

Method parameters in it.tugamer89.autogex.models with type arguments of type State

Modifier and Type	Method	Description
Set<State>	ENFA.epsilonClosure(Set<State> startStates)	Computes the ε-closure of a set of states.

Uses of State in it.tugamer89.autogex.trace

Methods in it.tugamer89.autogex.trace that return types with arguments of type State

Modifier and Type	Method	Description
Set<State>	ExecutionStep.fromStates()	Returns the value of the fromStates record component.
Set<State>	ExecutionStep.toStates()	Returns the value of the toStates record component.

Constructor parameters in it.tugamer89.autogex.trace with type arguments of type State

Modifier	Constructor	Description
	ExecutionStep(Set<State> fromStates, Character symbolRead, Set<State> toStates)	Creates an instance of a ExecutionStep record class.