reduced
fun <E : Comparable<E>> reducedOf(delegate: BinaryDecisionDiagramBuilder<E> = defaultOf()): BinaryDecisionDiagramBuilder<E>
Content copied to clipboard
Returns a BinaryDecisionDiagramBuilder instance that applies reduction optimizations through the reduce algorithm, and delegates the actual construction logic of each node to delegate. By default, delegate is set as defaultOf. The following reductions are performed:
Removal of duplicate variable nodes
Removal of duplicate terminal nodes
Removal of redundant variable nodes, which are BinaryDecisionDiagram.Variable nodes where low and high point to the same node