Companion

Functions

defaultOf

fun <E : Comparable<E>> defaultOf(): BinaryDecisionDiagramBuilder<E>

Returns a default BinaryDecisionDiagramBuilder instance.

reducedOf

fun <E : Comparable<E>> reducedOf(delegate: BinaryDecisionDiagramBuilder<E> = defaultOf()): BinaryDecisionDiagramBuilder<E>

Returns a BinaryDecisionDiagramBuilder instance that applies reduction optimizations through the reduce algorithm, and delegates the actual construction logic of each node to delegate.

simpleOf

fun <E : Comparable<E>> simpleOf(): BinaryDecisionDiagramBuilder<E>

Returns a simple BinaryDecisionDiagramBuilder instance that does not apply platform-specific or reduction optimizations.