onShowBinaryDecisionDiagramPressed

Opens a modal Alert dialog showing this solution's it.unibo.tuprolog.solve.binaryDecisionDiagram, rendered as Graphviz DOT source inside a GraphRenderView; a no-op if the solution has no diagram attached. Invoked when btnShowBinaryDecisionDiagram is pressed on a YesViewPLP.