org.ddolibscala.tools.dominance

This package contains the classes implementing dominance checkers.

Attributes

Members list

Type members

Classlikes

Default implementation of a DominanceChecker that performs no dominance checking.

Default implementation of a DominanceChecker that performs no dominance checking.

This class can be used as a placeholder when dominance pruning is not required or when a problem does not define any dominance relation between states.

In decision diagram or search-based algorithms, a dominance checker is used to compare two states and discard those that are dominated (i.e., guaranteed to lead to no better solution). This default implementation disables that feature: it never reports any dominance and never removes any state.

Type parameters

T

the type of states

Attributes

Supertypes
class DominanceChecker[T]
class DominanceChecker[T]
class Object
trait Matchable
class Any
abstract class DominanceChecker[T](dominance: Dominance[T]) extends DominanceChecker[T]

Object that, given a dominance, will check if a state is dominated.

Object that, given a dominance, will check if a state is dominated.

Type parameters

T

the type of states

Value parameters

dominance

the problem specific dominance rule

Attributes

Supertypes
class DominanceChecker[T]
class Object
trait Matchable
class Any
Known subtypes

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type