bdd/it.unibo.tuprolog.bdd/bddTerminalOf

bddTerminalOf

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

Shortcut for the BinaryDecisionDiagram.terminalOf method.