bdd
/
it.unibo.tuprolog.bdd
/
bddOf
bdd
Of
fun <
T
:
Comparable
<
T
>>
bddOf
(value:
T
):
BinaryDecisionDiagram
<
T
>
Content copied to clipboard
Shortcut for the
BinaryDecisionDiagram.variableOf
method.