WidthHeuristic

org.ddolibscala.tools.ddo.heuristics.width.WidthHeuristic

trait WidthHeuristic[T] extends WidthHeuristic[T]

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

Graph
Supertypes: trait WidthHeuristic[T]

class Object

trait Matchable

class Any
Known subtypes: class FixedWidth[T]

Members list

Value members

Abstract methods

Computes the maximum width allowed for a layer rooted at the given state.

Value parameters

state: the state at the root of the layer

Attributes

Returns: the maximum width for the layer
Definition Classes: WidthHeuristic

In this article

Generated with