Package-level declarations

A VBox panel that displays Graphviz DOT source (e.g. a it.unibo.tuprolog.bdd.BinaryDecisionDiagram rendered via it.unibo.tuprolog.bdd.toDotString) as dotGraph, with buttons to copy the source to the clipboard, render it to a PNG image through GraphvizRenderer (showing a progress indicator while the background render runs), and save the resulting image to a file. If GraphvizRenderer.isReady is false or GraphvizRenderer.isAvailable is false when this view is created, the "render" button is disabled and an explanatory message is shown instead (asking the user to retry once ready, or pointing at the Graphviz installation docs, respectively).

Wraps the guru.nidi:graphviz-java library (which in turn shells out to a native Graphviz dot installation, or falls back to a bundled JS implementation) to turn Graphviz DOT source -- typically produced by it.unibo.tuprolog.bdd.toDotString from a it.unibo.tuprolog.bdd.BinaryDecisionDiagram -- into a PNG image. Since actually rendering an image the first time can be slow and may fail (e.g. if no usable Graphviz engine can be found on the host), availability is probed once asynchronously via initialize and cached in isAvailable/isReady, instead of being checked synchronously on every call.

Standalone JavaFX launcher for a tuProlog IDE specialized for Probabilistic Logic Programming (ProbLog): it wires up it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder with a custom "Solutions" tab rendered via PLPSolutionView (showing each solution's computed probability, and a button to open its it.unibo.tuprolog.bdd.BinaryDecisionDiagram via GraphRenderView when one is available), a it.unibo.tuprolog.solve.SolveOptions with it.unibo.tuprolog.solve.setProbabilistic turned on, and a solver built from Solver.problog (see it.unibo.tuprolog.solve.problog.ProblogSolverFactory) enriched with OOPLib and IOLib. It also triggers GraphvizRenderer.initialize on startup, so that BDD-to-image rendering is ready (or known to be unavailable) by the time the user opens a diagram.

The ProbLog counterpart of SolutionView: a VBox rendering one Solution in the tuProlog IDE's custom "Solutions" tab (see PLPIDEApplication), colored by a "led" Circle like SolutionView but additionally showing, for Solution.Yes, the solution's computed it.unibo.tuprolog.solve.probability and -- when a it.unibo.tuprolog.bdd.BinaryDecisionDiagram was recorded for it (see it.unibo.tuprolog.solve.hasBinaryDecisionDiagram) -- a button that opens it, rendered as a Graphviz graph, in a GraphRenderView dialog. Use of to build the right concrete subclass for a given solution.