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.