Uses of Class
com.raffaeleconforti.automaton.State

Packages that use State

Package	Description
com.raffaeleconforti.automaton

Uses of State in com.raffaeleconforti.automaton

Methods in com.raffaeleconforti.automaton that return State

Modifier and Type	Method and Description
State	Automaton.source()
State	Transition.source()
State	Transition.target()

Methods in com.raffaeleconforti.automaton that return types with arguments of type State

Modifier and Type	Method and Description
java.util.Map<java.lang.Integer,State>	Automaton.states()

Constructors in com.raffaeleconforti.automaton with parameters of type State

Constructor and Description
Transition(State source, State target, int eventID)

Constructor parameters in com.raffaeleconforti.automaton with type arguments of type State

Constructor and Description
Automaton(java.util.Map<java.lang.Integer,State> states, java.util.Map<java.lang.Integer,java.lang.String> eventLabels, java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels, java.util.Map<java.lang.Integer,Transition> transitions, int initialState, java.util.HashSet<java.lang.Integer> FinalStates, int skipEvent)
Automaton(java.util.Map<java.lang.Integer,State> states, java.util.Map<java.lang.Integer,java.lang.String> eventLabels, java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels, java.util.Map<java.lang.Integer,Transition> transitions, int initialState, java.util.HashSet<java.lang.Integer> FinalStates, java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>> caseTracesMapping)