DynamicPriority
This is an dynamic ordering on unknowns: every time an unknown appears, it gets assigned a lower priority than previous one (i.e., it comes earlier in the ordering). This is the default ordering for PriorityWorkListSolver when an explicit one is not provided.
- Source:
- PriorityWorkListSolver.scala
trait Ordering[U]
trait PartialOrdering[U]
trait Equiv[U]
trait Serializable
trait Comparator[U]
class Object
trait Matchable
class Any
Type members
Inherited classlikes
Value members
Concrete methods
Inherited methods
def thenComparing[U <: Comparable[_ >: U <: <FromJavaObject>]](x$0: Function[_ >: U <: <FromJavaObject>, _ <: U]): Comparator[U]
- Inherited from:
- Comparator
def thenComparing[U <: <FromJavaObject>](x$0: Function[_ >: U <: <FromJavaObject>, _ <: U], x$1: Comparator[_ >: U <: <FromJavaObject>]): Comparator[U]
- Inherited from:
- Comparator