NewBestSub/it.uniud.newbestsub.dataset.model/CardinalityResult

CardinalityResult

data class CardinalityResult(val target: String, val threadName: String, val cardinality: Int, val correlation: Double, val functionValuesCsvLine: String, val variableValuesCsvLine: String) : ProgressEvent

Stream one improved checkpoint row (and paired bitstring) for a specific cardinality K.

Notes

The View parses K and correlation from functionValuesCsvLine to keep an aligned buffer.
correlation is included for convenience/logging; the sink uses the CSV line as the authoritative payload.

Constructors

CardinalityResult

constructor(target: String, threadName: String, cardinality: Int, correlation: Double, functionValuesCsvLine: String, variableValuesCsvLine: String)

Properties

val cardinality: Int

The K (number of selected topics) this row refers to.

val correlation: Double

Correlation value for this checkpoint (informational).

functionValuesCsvLine

val functionValuesCsvLine: String

jMetal-style FUN line: "K corr" (external-view normalized already).

open override val target: String

Logical target bucket: BEST, WORST, or AVERAGE.

open override val threadName: String

Originating thread name (informational for logs).

variableValuesCsvLine

val variableValuesCsvLine: String

Matching VAR line: space-separated bitstring "0 1 0 1 ..." or compact if you prefer.