gui/it.unibo.tuprolog.ui.gui.model/FeatureValue

FeatureValue

A JSON-like value an extension's feature (e.g. PLP's BDD/probability) attaches to a page, keyed by name in PageFeatureState - toolkit-neutral so any frontend can render it without knowing the extension's own types.

Inheritors

Types

BooleanValue

data class BooleanValue(val value: Boolean) : FeatureValue

A boolean flag (e.g. "is a BDD available for the current solution").

ListValue

data class ListValue(val values: List<FeatureValue>) : FeatureValue

An ordered list of nested values.

NullValue

data object NullValue : FeatureValue

No value is available.

Number

data class Number(val value: Double) : FeatureValue

A numeric value (e.g. PLP's per-solution probability).

ObjectValue

data class ObjectValue(val values: Map<String, FeatureValue>) : FeatureValue

A nested key-value structure.

Text

data class Text(val value: String) : FeatureValue

A plain string value.