Uses of Class
dk.brics.automaton.Transition
-
-
Uses of Transition in dk.brics.automaton
Fields in dk.brics.automaton with type parameters of type Transition Modifier and Type Field Description (package private) java.util.Set<Transition>
State. transitions
Methods in dk.brics.automaton that return Transition Modifier and Type Method Description Transition
Transition. clone()
Clones this transition.(package private) Transition[]
State. getSortedTransitionArray(boolean to_first)
Returns transitions sorted by (min, reverse max, to) or (to, min, reverse max)(package private) static Transition[][]
Automaton. getSortedTransitions(java.util.Set<State> states)
Returns a sorted array of transitions for each state (and sets state numbers).Methods in dk.brics.automaton that return types with arguments of type Transition Modifier and Type Method Description java.util.List<Transition>
State. getSortedTransitions(boolean to_first)
Returns sorted list of outgoing transitions.java.util.Set<Transition>
State. getTransitions()
Returns the set of outgoing transitions.Methods in dk.brics.automaton with parameters of type Transition Modifier and Type Method Description private static void
ShuffleOperations. add(java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle, java.util.LinkedList<ShuffleOperations.ShuffleConfiguration> pending, java.util.Set<ShuffleOperations.ShuffleConfiguration> visited, ShuffleOperations.ShuffleConfiguration c, int i1, Transition t1, Transition t2, char min, char max)
void
State. addTransition(Transition t)
Adds an outgoing transition.private static void
MinimizationOperations. addTriggers(Transition[][] transitions, java.util.ArrayList<java.util.ArrayList<java.util.HashSet<MinimizationOperations.IntPair>>> triggers, int n1, int n2)
int
TransitionComparator. compare(Transition t1, Transition t2)
Compares by (min, reverse max, to) or (to, min, reverse max).private static boolean
MinimizationOperations. statesAgree(Transition[][] transitions, boolean[][] mark, int n1, int n2)
-