FixedWidth
org.ddolibscala.tools.ddo.heuristics.width.FixedWidth
class FixedWidth[T](width: Int) extends WidthHeuristic[T]
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
- Graph
-
- Supertypes
Members list
In this article