bdd/it.unibo.tuprolog.bdd/bddOf

bddOf

fun <T : Comparable<T>> bddOf(value: T): BinaryDecisionDiagram<T>
Content copied to clipboard

Shortcut for the BinaryDecisionDiagram.variableOf method.