Packages

o

ap.theories.nia

StringOrdering

object StringOrdering extends Ordering[ConstantTerm]

ConstantTerm orderings

Linear Supertypes
Ordering[ConstantTerm], PartialOrdering[ConstantTerm], Equiv[ConstantTerm], Serializable, Comparator[ConstantTerm], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StringOrdering
  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

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(c1: ConstantTerm, c2: ConstantTerm): Int
    Definition Classes
    StringOrdering → 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: ConstantTerm, y: ConstantTerm): Boolean
    Definition Classes
    Ordering → PartialOrdering → Equiv
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  11. def gt(x: ConstantTerm, y: ConstantTerm): Boolean
    Definition Classes
    Ordering → PartialOrdering
  12. def gteq(x: ConstantTerm, y: ConstantTerm): 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 lt(x: ConstantTerm, y: ConstantTerm): Boolean
    Definition Classes
    Ordering → PartialOrdering
  17. def lteq(x: ConstantTerm, y: ConstantTerm): Boolean
    Definition Classes
    Ordering → PartialOrdering
  18. def max[U <: ConstantTerm](x: U, y: U): U
    Definition Classes
    Ordering
  19. def min[U <: ConstantTerm](x: U, y: U): U
    Definition Classes
    Ordering
  20. implicit def mkOrderingOps(lhs: ConstantTerm): 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) => ConstantTerm): Ordering[U]
    Definition Classes
    Ordering
  25. def orElse(other: Ordering[ConstantTerm]): Ordering[ConstantTerm]
    Definition Classes
    Ordering
  26. def orElseBy[S](f: (ConstantTerm) => S)(implicit ord: Ordering[S]): Ordering[ConstantTerm]
    Definition Classes
    Ordering
  27. def reverse: Ordering[ConstantTerm]
    Definition Classes
    Ordering → PartialOrdering
  28. def reversed(): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def thenComparing[U <: Comparable[_ >: U <: AnyRef]](arg0: Function[_ >: ConstantTerm <: AnyRef, _ <: U]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  31. def thenComparing[U <: AnyRef](arg0: Function[_ >: ConstantTerm <: AnyRef, _ <: U], arg1: Comparator[_ >: U <: AnyRef]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  32. def thenComparing(arg0: Comparator[_ >: ConstantTerm <: AnyRef]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  33. def thenComparingDouble(arg0: ToDoubleFunction[_ >: ConstantTerm <: AnyRef]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  34. def thenComparingInt(arg0: ToIntFunction[_ >: ConstantTerm <: AnyRef]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  35. def thenComparingLong(arg0: ToLongFunction[_ >: ConstantTerm <: AnyRef]): Comparator[ConstantTerm]
    Definition Classes
    Comparator
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. def tryCompare(x: ConstantTerm, y: ConstantTerm): Some[Int]
    Definition Classes
    Ordering → PartialOrdering
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  40. 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[ConstantTerm]

Inherited from PartialOrdering[ConstantTerm]

Inherited from Equiv[ConstantTerm]

Inherited from Serializable

Inherited from Comparator[ConstantTerm]

Inherited from AnyRef

Inherited from Any

Ungrouped