Uses of Class
dk.brics.automaton.MinimizationOperations.IntPair
-
-
Uses of MinimizationOperations.IntPair in dk.brics.automaton
Fields in dk.brics.automaton declared as MinimizationOperations.IntPair Modifier and Type Field Description private MinimizationOperations.IntPair[]
MinimizationOperations.LabelComparator. labels
Method parameters in dk.brics.automaton with type arguments of type MinimizationOperations.IntPair Modifier and Type Method Description private static void
MinimizationOperations. addTriggers(Transition[][] transitions, java.util.ArrayList<java.util.ArrayList<java.util.HashSet<MinimizationOperations.IntPair>>> triggers, int n1, int n2)
private static void
MinimizationOperations. markPair(boolean[][] mark, java.util.ArrayList<java.util.ArrayList<java.util.HashSet<MinimizationOperations.IntPair>>> triggers, int n1, int n2)
Constructors in dk.brics.automaton with parameters of type MinimizationOperations.IntPair Constructor Description LabelComparator(MinimizationOperations.IntPair[] labels)
-