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 Type
    Method
    Description
    int
    maximumWidth(T state)
    Computes the maximum width allowed for a layer rooted at the given state.
  • Method Details

    • maximumWidth

      int maximumWidth(T state)
      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