bdd/it.unibo.tuprolog.bdd/BinaryDecisionDiagram/Companion/terminalOf

terminalOf

fun <E : Comparable<E>> terminalOf(truth: Boolean): BinaryDecisionDiagram<E>

Creates a new Terminal node from the given boolean value, using the BinaryDecisionDiagramBuilder.defaultOf builder. See also the bddTerminalOf shortcut function.

Return

a new Terminal node.

Parameters

truth

the boolean value (true/false) of the terminal.