Package dk.brics.automaton
Class MinimizationOperations.LabelComparator
- java.lang.Object
-
- dk.brics.automaton.MinimizationOperations.LabelComparator
-
- All Implemented Interfaces:
java.util.Comparator<java.lang.Integer>
- Enclosing class:
- MinimizationOperations
static class MinimizationOperations.LabelComparator extends java.lang.Object implements java.util.Comparator<java.lang.Integer>
-
-
Field Summary
Fields Modifier and Type Field Description private MinimizationOperations.IntPair[]
labels
-
Constructor Summary
Constructors Constructor Description LabelComparator(MinimizationOperations.IntPair[] labels)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compare(java.lang.Integer i, java.lang.Integer j)
-
-
-
Field Detail
-
labels
private MinimizationOperations.IntPair[] labels
-
-
Constructor Detail
-
LabelComparator
LabelComparator(MinimizationOperations.IntPair[] labels)
-
-