binaryDecisionDiagram

The BinaryDecisionDiagram attached to this Solution via setBinaryDecisionDiagram, or null if none was attached (see hasBinaryDecisionDiagram). Where present, the diagram is the Boolean formula (over the probabilistic facts/clauses used to prove the query) that a probabilistic solver derived this solution's probability from via Weighted Model Counting — see it.unibo.tuprolog.bdd.BinaryDecisionDiagram for how such a diagram is built up and expanded.

JS-callable equivalent of Solution.binaryDecisionDiagram.