gui-plp/it.unibo.tuprolog.ui.gui.plp/PlpGuiExtension

PlpGuiExtension

class PlpGuiExtension(solverProfile: SolverProfile) : GuiExtension

Common PLP contribution. The actual ProbLog solverProfile is supplied by a solver-adapter module; this module contains no Swing, Compose, browser, Graphviz-Java, or JVM-only type.

Constructors

PlpGuiExtension

constructor(solverProfile: SolverProfile)

Properties

contributions

open override val contributions: GuiContributions

open override val id: ExtensionId