Uses of Class
org.processmining.ltl2automaton.plugins.automaton.State

Packages that use State

Package	Description
org.processmining.ltl2automaton.plugins.automaton

Uses of State in org.processmining.ltl2automaton.plugins.automaton

Fields in org.processmining.ltl2automaton.plugins.automaton declared as State

Modifier and Type	Field and Description
protected State	Automaton.init

Methods in org.processmining.ltl2automaton.plugins.automaton that return State

Modifier and Type	Method and Description
State	Automaton.getInit()
State	Transition.getSource()
State	Transition.getTarget()

Methods in org.processmining.ltl2automaton.plugins.automaton that return types with arguments of type State

Modifier and Type	Method and Description
protected java.util.Map<State,java.lang.Object>	NDFAOperations.copyStates(Automaton a, AutomatonFactory factory)
java.util.Iterator<State>	Automaton.iterator()

Methods in org.processmining.ltl2automaton.plugins.automaton with parameters of type State

Modifier and Type	Method and Description
void	Automaton.addState(State n)
protected void	NDFAOperations.copyState(AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap, State s, int id)
protected java.util.Set<java.lang.String>	NDFAOperations.getLabels(State... states)
int	TransitionMatrix.getStateNumber(State s)
void	Automaton.removeState(State n)

Method parameters in org.processmining.ltl2automaton.plugins.automaton with type arguments of type State

Modifier and Type	Method and Description
protected void	NDFAOperations.copyState(AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap, State s, int id)
protected void	NDFAOperations.copyTransition(AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap, Transition t)
protected void	NDFAOperations.copyTransitions(Automaton a, AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap)
protected java.util.Set<java.lang.String>	NDFAOperations.getLabels(java.lang.Iterable<State> states)

Constructor parameters in org.processmining.ltl2automaton.plugins.automaton with type arguments of type State

Constructor and Description
TransitionMatrix(java.util.Map<java.lang.String,java.lang.Integer> transitionNumbers, java.util.Map<State,java.lang.Integer> stateNumbers, java.util.Set<java.lang.Integer> accepting, int[][] matrix)