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
TermOrder.EVComparator()

Method Summary

Methods

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

equals

Constructor Detail

TermOrder.EVComparator

public TermOrder.EVComparator()

Method Detail

compare

public abstract int compare(ExpVector e1,
          ExpVector e2)

Specified by:

compare in interface java.util.Comparator<ExpVector>