Package de.learnlib.filter.cache

Class ReverseLexCmp<I>

java.lang.Object

de.learnlib.filter.cache.ReverseLexCmp<I>

All Implemented Interfaces:

Comparator<Query<I,?>>

public final class ReverseLexCmp<I>
extends Object
implements Comparator<Query<I,?>>

Constructor Summary

Constructors

Constructor	Description
ReverseLexCmp(Comparator<I> comparator)

Method Summary

Modifier and Type	Method	Description
int	compare(Query<I,?> o1, Query<I,?> o2)

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

Constructor Detail

ReverseLexCmp

public ReverseLexCmp(Comparator<I> comparator)

Method Detail

compare

public int compare(Query<I,?> o1,
                   Query<I,?> o2)

Specified by:

compare in interface Comparator<I>