edu.jas.poly

Class TermOrder.EVComparator

java.lang.Object

edu.jas.poly.TermOrder.EVComparator

All Implemented Interfaces:

java.io.Serializable, java.util.Comparator<ExpVector>

Enclosing class:

TermOrder

public abstract static class TermOrder.EVComparator
extends java.lang.Object
implements java.util.Comparator<ExpVector>, java.io.Serializable

Comparator for ExpVectors.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
EVComparator()

Method Summary

Modifier and Type	Method and Description
abstract int	compare(ExpVector e1, ExpVector e2)

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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

EVComparator

public EVComparator()

Method Detail

compare

public abstract int compare(ExpVector e1,
                            ExpVector e2)

Specified by:

compare in interface java.util.Comparator<ExpVector>