Package edu.jas.poly

Class 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 Description
      EVComparator()  
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method 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, reversed, 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>