bdd/it.unibo.tuprolog.bdd/bddOf

bddOf

fun <T : Comparable<T>> bddOf(value: T): BinaryDecisionDiagram<T>

Shortcut for the BinaryDecisionDiagram.variableOf method, creating a single-Variable diagram out of value. This is the usual entry point for building up a BDD-encoded formula, e.g. in it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation.of, where a probabilistic Prolog term is turned into its single-variable explanation with bddOf(term), ready to be combined with and/or/not.

Return

a new single-variable BinaryDecisionDiagram.

Parameters

value

the value representing the Boolean variable.