Package de.learnlib.filter.cache
Class DynamicSymbolComparator<I>
- java.lang.Object
-
- de.learnlib.filter.cache.DynamicSymbolComparator<I>
-
- All Implemented Interfaces:
Comparator<I>
public final class DynamicSymbolComparator<I> extends Object implements Comparator<I>
-
-
Constructor Summary
Constructors Constructor Description DynamicSymbolComparator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compare(I i1, I i2)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface java.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
-
-
-
-
Method Detail
-
compare
public int compare(I i1, I i2)
- Specified by:
compare
in interfaceComparator<I>
-
-