DefaultDominanceChecker
org.ddolibscala.tools.dominance.DefaultDominanceChecker
class DefaultDominanceChecker[T] extends DominanceChecker[T]
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
- Graph
-
- Supertypes
Members list
In this article