isabelle.Graph_Display.Node

Ordering

object Ordering extends Ordering[Node]

Linear Supertypes
Ordering[Node], PartialOrdering[Node], Equiv[Node], Serializable, Serializable, Comparator[Node], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Ordering
  2. Ordering
  3. PartialOrdering
  4. Equiv
  5. Serializable
  6. Serializable
  7. Comparator
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. class Ops extends AnyRef

    Definition Classes
    Ordering

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def compare(node1: Node, node2: Node): Int

    Definition Classes
    Ordering → Ordering → Comparator
  9. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  11. def equiv(x: Node, y: Node): Boolean

    Definition Classes
    Ordering → PartialOrdering → Equiv
  12. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  14. def gt(x: Node, y: Node): Boolean

    Definition Classes
    Ordering → PartialOrdering
  15. def gteq(x: Node, y: Node): Boolean

    Definition Classes
    Ordering → PartialOrdering
  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  17. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  18. def lt(x: Node, y: Node): Boolean

    Definition Classes
    Ordering → PartialOrdering
  19. def lteq(x: Node, y: Node): Boolean

    Definition Classes
    Ordering → PartialOrdering
  20. def max(x: Node, y: Node): Node

    Definition Classes
    Ordering
  21. def min(x: Node, y: Node): Node

    Definition Classes
    Ordering
  22. implicit def mkOrderingOps(lhs: Node): Ops

    Definition Classes
    Ordering
  23. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  26. def on[U](f: (U) ⇒ Node): Ordering[U]

    Definition Classes
    Ordering
  27. def reverse: Ordering[Node]

    Definition Classes
    Ordering → PartialOrdering
  28. def reversed(): Comparator[Node]

    Definition Classes
    Comparator
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  30. def thenComparing[U <: Comparable[_ >: U]](arg0: Function[_ >: Node, _ <: U]): Comparator[Node]

    Definition Classes
    Comparator
  31. def thenComparing[U](arg0: Function[_ >: Node, _ <: U], arg1: Comparator[_ >: U]): Comparator[Node]

    Definition Classes
    Comparator
  32. def thenComparing(arg0: Comparator[_ >: Node]): Comparator[Node]

    Definition Classes
    Comparator
  33. def thenComparingDouble(arg0: ToDoubleFunction[_ >: Node]): Comparator[Node]

    Definition Classes
    Comparator
  34. def thenComparingInt(arg0: ToIntFunction[_ >: Node]): Comparator[Node]

    Definition Classes
    Comparator
  35. def thenComparingLong(arg0: ToLongFunction[_ >: Node]): Comparator[Node]

    Definition Classes
    Comparator
  36. def toString(): String

    Definition Classes
    AnyRef → Any
  37. def tryCompare(x: Node, y: Node): Some[Int]

    Definition Classes
    Ordering → PartialOrdering
  38. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Ordering[Node]

Inherited from PartialOrdering[Node]

Inherited from Equiv[Node]

Inherited from Serializable

Inherited from Serializable

Inherited from Comparator[Node]

Inherited from AnyRef

Inherited from Any

Ungrouped