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

defaultOf

fun <E : Comparable<E>> defaultOf(): BinaryDecisionDiagramBuilder<E>
Content copied to clipboard

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.