hasBinaryDecisionDiagram

Whether this Solution was tagged with a BinaryDecisionDiagram via setBinaryDecisionDiagram, i.e. whether binaryDecisionDiagram would return a non-null value. A probabilistic solver only attaches one when it actually managed to compute an explanation for the solution's probability; e.g. a solution obtained while SolveOptions.isProbabilistic is false never carries one.

JS-callable equivalent of Solution.hasBinaryDecisionDiagram.