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

PlpSolutionDetails

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

Toolkit-neutral probabilistic details attached to a successful solution.

Constructors

Link copied to clipboard
constructor(probability: Double?, bdd: BddPresentation? = null)

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
fun toFeatureStateReplacements(): Map<FeatureId, Map<String, FeatureValue>>

Replaces both semantic PLP feature states for the page's latest yielded solution. In particular, a solution without a BDD clears any BDD left by the previous solution.

Generated by Dokka
© 2026 Copyright