bdd/it.unibo.tuprolog.bdd/bddTerminalOf

bddTerminalOf

fun <T : Comparable<T>> bddTerminalOf(value: Boolean): BinaryDecisionDiagram<T>

Shortcut for the BinaryDecisionDiagram.terminalOf method, creating a Terminal diagram representing the constant value. Used e.g. in it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation to represent the constant TRUE/FALSE explanations with bddTerminalOf(true) / bddTerminalOf(false).

Return

a new Terminal diagram.

Parameters

value

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