Uses of Class
com.raffaeleconforti.automaton.Transition

Packages that use Transition

Package	Description
com.raffaeleconforti.automaton

Uses of Transition in com.raffaeleconforti.automaton

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

Modifier and Type	Method and Description
java.util.Set<Transition>	State.incomingTransitions()
java.util.Set<Transition>	State.outgoingTransitions()
java.util.Map<java.lang.Integer,Transition>	Automaton.transitions()

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

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)