DDOLib-Scala
API
Generated with
DDOLib-Scala/org.ddolibscala/org.ddolibscala.modeling/StateRanking

StateRanking

org.ddolibscala.modeling.StateRanking
trait StateRanking[T] extends StateRanking[T]

A state ranking is used to order the states and decides the ones that are kept and the ones that are merged/deleted when a relaxation/restriction occurs.

In this context, a state ranking is nothing but an ordering on the states which is defined in the form of a comparator. The solvers and MDD should interpret compare(a, b) > 0 as a should have a higher chance of being kept intact while b should have a higher chance of being merged.

Type parameters

T

the type of states

Attributes

Graph
Supertypes
trait StateRanking[T]
trait Comparator[T]
class Object
trait Matchable
class Any
Known subtypes
class MispRanking
class TspTwRanking

Members list

Value members

Abstract methods

def rank(state1: T, state2: T): Int

Defines how to compare two states.

Defines how to compare two states.

Value parameters

state1

the first state to compare

state2

the second state to compare

Attributes

Returns

a value x where

         x < 0 if state1 < state2
         x == 0 if state1 == state2
         x > 0 if state1 > state2

Concrete methods

final override def compare(o1: T, o2: T): Int

Used by the solver. The java method called to compare two states.

Used by the solver. The java method called to compare two states.

Attributes

Definition Classes
Comparator

Inherited methods

def reversed(): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparing[U <: Comparable[_ >: U <: <FromJavaObject>]](x$0: Function[_ >: T <: <FromJavaObject>, _ <: U]): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparing[U <: <FromJavaObject>](x$0: Function[_ >: T <: <FromJavaObject>, _ <: U], x$1: Comparator[_ >: U <: <FromJavaObject>]): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparing(x$0: Comparator[_ >: T <: <FromJavaObject>]): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparingDouble(x$0: ToDoubleFunction[_ >: T <: <FromJavaObject>]): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparingInt(x$0: ToIntFunction[_ >: T <: <FromJavaObject>]): Comparator[T]

Attributes

Inherited from:
Comparator
def thenComparingLong(x$0: ToLongFunction[_ >: T <: <FromJavaObject>]): Comparator[T]

Attributes

Inherited from:
Comparator
Generated with