bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagramBuilder/Companion

Companion

Functions

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

Returns a default BinaryDecisionDiagramBuilder instance. Different platforms can return different types of instances, to apply platform-specific optimizations. Note, no reduction optimization must be applied by the returned 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. By default, delegate is set as defaultOf. The following reductions are performed:

simpleOf

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

Returns a simple BinaryDecisionDiagramBuilder instance that does not apply platform-specific or reduction optimizations. This provides basic means to build represent BDDs, and keeps the entire data structure in memory in the form of a directed graph.