PLPIDEApplication

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.

Embed ProbLog support into a bigger application by reproducing this wiring around it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder directly, rather than using this class.

Constructors

constructor()

val hostServices: HostServices?

val parameters: Application.Parameters?

open fun init()

fun notifyPreloader(p0: Preloader.PreloaderNotification?)

open override fun start(stage: Stage)

Initializes GraphvizRenderer, then builds and shows a it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder configured with the custom "Solutions" tab and the ProbLog solver, on stage.

open override fun stop()

Terminates the JVM (with exit code 0) once the JavaFX application stops.