Packages

c

ap.theories.nia

GlexOrdering

class GlexOrdering extends MonomialOrdering

Graded Lexicographical ordering

Linear Supertypes
MonomialOrdering, Ordering[Monomial], PartialOrdering[Monomial], Equiv[Monomial], Serializable, Comparator[Monomial], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GlexOrdering
  2. MonomialOrdering
  3. Ordering
  4. PartialOrdering
  5. Equiv
  6. Serializable
  7. Comparator
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new GlexOrdering(termOrdering: Ordering[ConstantTerm])

Type Members

  1. class OrderingOps extends AnyRef
    Definition Classes
    Ordering

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  6. def compare(m1: Monomial, m2: Monomial): Int
    Definition Classes
    GlexOrdering → Ordering → Comparator
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. def equiv(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering → Equiv
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  11. def gt(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  12. def gteq(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. def isReverseOf(other: Ordering[_]): Boolean
    Definition Classes
    Ordering
  16. def lexcompare(keys1: List[(ConstantTerm, Int)], keys2: List[(ConstantTerm, Int)]): Int
    Definition Classes
    MonomialOrdering
  17. def lt(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  18. def lteq(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  19. def max[U <: Monomial](x: U, y: U): U
    Definition Classes
    Ordering
  20. def min[U <: Monomial](x: U, y: U): U
    Definition Classes
    Ordering
  21. implicit def mkOrderingOps(lhs: Monomial): OrderingOps
    Definition Classes
    Ordering
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  25. def on[U](f: (U) => Monomial): Ordering[U]
    Definition Classes
    Ordering
  26. def orElse(other: Ordering[Monomial]): Ordering[Monomial]
    Definition Classes
    Ordering
  27. def orElseBy[S](f: (Monomial) => S)(implicit ord: Ordering[S]): Ordering[Monomial]
    Definition Classes
    Ordering
  28. def reverse: Ordering[Monomial]
    Definition Classes
    Ordering → PartialOrdering
  29. def reversed(): Comparator[Monomial]
    Definition Classes
    Comparator
  30. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  31. val termOrdering: Ordering[ConstantTerm]
    Definition Classes
    MonomialOrdering
  32. def thenComparing[U <: Comparable[_ >: U <: AnyRef]](arg0: Function[_ >: Monomial <: AnyRef, _ <: U]): Comparator[Monomial]
    Definition Classes
    Comparator
  33. def thenComparing[U <: AnyRef](arg0: Function[_ >: Monomial <: AnyRef, _ <: U], arg1: Comparator[_ >: U <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  34. def thenComparing(arg0: Comparator[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  35. def thenComparingDouble(arg0: ToDoubleFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  36. def thenComparingInt(arg0: ToIntFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  37. def thenComparingLong(arg0: ToLongFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. def tryCompare(x: Monomial, y: Monomial): Some[Int]
    Definition Classes
    Ordering → PartialOrdering
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from MonomialOrdering

Inherited from Ordering[Monomial]

Inherited from PartialOrdering[Monomial]

Inherited from Equiv[Monomial]

Inherited from Serializable

Inherited from Comparator[Monomial]

Inherited from AnyRef

Inherited from Any

Ungrouped