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

Package-level declarations

Types

BddPresentation

data class BddPresentation(val dot: String, val title: String? = null)

A probabilistic solution's binary decision diagram, ready for a toolkit-specific renderer to draw.

PlpFeatureKeys

object PlpFeatureKeys

Keys PLP's PageFeatureState entries are stored/read under.

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.

PlpGuiIds

object PlpGuiIds

Stable identifiers PLP's GUI extension registers itself and its contributions under.

PlpSolutionDetails

data class PlpSolutionDetails(val probability: Double?, val bdd: BddPresentation? = null)

Toolkit-neutral probabilistic details attached to a successful solution.

PlpTheoryTemplates

object PlpTheoryTemplates

Well-known ProbLog tutorial examples, ready to load into a PLP-capable page.

Functions

formatProbabilityPercentage

fun formatProbabilityPercentage(probability: Double): String

Formats probability (in [0, 1]) as a percentage with up to 6 decimal digits, trimming trailing zeros.

plpFeatureState

fun Solution.plpFeatureState(): Map<FeatureId, Map<String, FeatureValue>>

Converts a solver-agnostic PLP Solution into the semantic feature state a PLP-capable frontend renders.

plpSolverFactoryProfile

fun plpSolverFactoryProfile(factory: SolverFactory, id: SolverProfileId, displayName: String, capabilities: Set<String> = setOf(SolverCapabilities.CANCELLATION), solutionFeatures: (Solution) -> Map<FeatureId, Map<String, FeatureValue>> = { emptyMap() }): SolverProfile

Like solverFactoryProfile, but every resolution runs with probabilistic solving enabled (see PlpSolverFactorySession); SolverCapabilities.PROBABILISTIC_SOLUTIONS is added automatically so callers can't end up with a profile that behaviorally enables it without advertising it.