Interface WidthHeuristic<T>
- Type Parameters:
T- the type of state used to compute the layer width
- All Known Implementing Classes:
FixedWidth,TSPTWWidth
public interface WidthHeuristic<T>
Interface for heuristics that determine the maximum width of a layer in a multi-valued 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.
-
Method Summary
Modifier and TypeMethodDescriptionintmaximumWidth(T state) Computes the maximum width allowed for a layer rooted at the given state.
-
Method Details
-
maximumWidth
Computes the maximum width allowed for a layer rooted at the given state.- Parameters:
state- the state at the root of the layer- Returns:
- the maximum width for the layer
-