org.ddolibscala.tools.ddo.heuristics.width
This package contains heuristics on the maximum width of an MDD.
Attributes
Members list
Type members
Classlikes
Implements a static maximum width heuristic for decision diagram or search-based algorithms.
Implements a static maximum width heuristic for decision diagram or search-based algorithms.
This heuristic always returns a fixed maximum width for any state, regardless of the depth or characteristics of the state. It can be used to restrict the size of a decision diagram (DD) or a layer in a search algorithm.
Type parameters
- T
-
the type of state used to compute the layer width
Value parameters
- width
-
the fixed maximum width
Attributes
- Supertypes
Trait for heuristics that determine the maximum width of a layer in a multivalued decision diagram (MDD).
Trait for heuristics that determine the maximum width of a layer in a multivalued decision diagram (MDD).
Implementations of this interface define how the width of a layer is calculated based on the given state. The maximum width can depend on the state, the depth of the layer, or be a fixed value, depending on the heuristic.
Type parameters
- T
-
the type of state used to compute the layer width
Attributes
- Supertypes
-
trait WidthHeuristic[T]class Objecttrait Matchableclass Any
- Known subtypes
-
class FixedWidth[T]