Packages

c

ap.theories.nia

MonomialOrdering

abstract class MonomialOrdering extends Ordering[Monomial]

Monomial orderings

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

Instance Constructors

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

Type Members

  1. class OrderingOps extends AnyRef
    Definition Classes
    Ordering

Abstract Value Members

  1. abstract def compare(x: Monomial, y: Monomial): Int
    Definition Classes
    Ordering → Comparator

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

Inherited from PartialOrdering[Monomial]

Inherited from Equiv[Monomial]

Inherited from Serializable

Inherited from Comparator[Monomial]

Inherited from AnyRef

Inherited from Any

Ungrouped