core/it.unich.scalafix.finite/HierarchicalOrdering

HierarchicalOrdering

abstract class HierarchicalOrdering[N] extends GraphOrdering[N]

Hierarchical ordering as defined in Bourdoncle's paper "Efficient chaotic iteration strategies with widenings", FMPA'93.

Companion:
object
class GraphOrdering[N]
trait Ordering[N]
trait PartialOrdering[N]
trait Equiv[N]
trait Serializable
trait Comparator[N]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

class OrderingOps
Inherited from:
Ordering

Value members

Abstract methods

def toSeqWithParenthesis: Seq[HOElement[N]]

A sequence of elements and parenthesis representing the hierarchical ordering.

A sequence of elements and parenthesis representing the hierarchical ordering.

Concrete methods

override def toString: String

Converts a hierarchical ordering into a string on the basis of its parenthesized sequence

Converts a hierarchical ordering into a string on the basis of its parenthesized sequence

Definition Classes

Inherited methods

def compare(x: N, y: N): Int
Inherited from:
Ordering
override def equiv(x: N, y: N): Boolean
Definition Classes
Ordering -> PartialOrdering -> Equiv
Inherited from:
Ordering
override def gt(x: N, y: N): Boolean
Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def gteq(x: N, y: N): Boolean
Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def isHead(n: N): Boolean

It returns whether n is an head element.

It returns whether n is an head element.

Inherited from:
GraphOrdering
def isReverseOf(other: Ordering[_]): Boolean
Inherited from:
Ordering
override def lt(x: N, y: N): Boolean
Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def lteq(x: N, y: N): Boolean
Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def max[U <: N](x: U, y: U): U
Inherited from:
Ordering
def min[U <: N](x: U, y: U): U
Inherited from:
Ordering
def on[U](f: U => N): Ordering[U]
Inherited from:
Ordering
def orElse(other: Ordering[N]): Ordering[N]
Inherited from:
Ordering
def orElseBy[S](f: N => S)(implicit ord: Ordering[S]): Ordering[N]
Inherited from:
Ordering
override def reverse: Ordering[N]
Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def reversed(): Comparator[N]
Inherited from:
Comparator
def stringPrefix: String

Defines the prefix of this object's toString representation.

Defines the prefix of this object's toString representation.

Inherited from:
GraphOrdering
def thenComparing[U <: Comparable[_ >: U <: <FromJavaObject>]](x$0: Function[_ >: N <: <FromJavaObject>, _ <: U]): Comparator[N]
Inherited from:
Comparator
def thenComparing[U <: <FromJavaObject>](x$0: Function[_ >: N <: <FromJavaObject>, _ <: U], x$1: Comparator[_ >: U <: <FromJavaObject>]): Comparator[N]
Inherited from:
Comparator
def thenComparing(x$0: Comparator[_ >: N <: <FromJavaObject>]): Comparator[N]
Inherited from:
Comparator
def thenComparingDouble(x$0: ToDoubleFunction[_ >: N <: <FromJavaObject>]): Comparator[N]
Inherited from:
Comparator
def thenComparingInt(x$0: ToIntFunction[_ >: N <: <FromJavaObject>]): Comparator[N]
Inherited from:
Comparator
def thenComparingLong(x$0: ToLongFunction[_ >: N <: <FromJavaObject>]): Comparator[N]
Inherited from:
Comparator
def toSeq: Seq[N]

Returns the elements which are part of the ordering in the correct order.

Returns the elements which are part of the ordering in the correct order.

Inherited from:
GraphOrdering
def tryCompare(x: N, y: N): Some[Int]
Inherited from:
Ordering

Implicits

Inherited implicits

implicit def mkOrderingOps(lhs: N): OrderingOps
Inherited from:
Ordering