bdd
0.30.1
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagram
/
Companion
/
terminalOf
terminal
Of
fun
<
E
:
Comparable
<
E
>
>
terminalOf
(
truth
:
Boolean
)
:
BinaryDecisionDiagram
<
E
>
Content copied to clipboard
Creates a new
Terminal
node from the given boolean value.