NewBestSub/it.uniud.newbestsub.dataset.model

Package-level declarations

Types

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.

data class PrecomputedData(val averagePrecisionBySystem: Array<DoubleArray>, val topicColumnViewByTopic: Array<DoubleArray>, val fullSetMeanAPBySystem: DoubleArray, val numberOfSystems: Int, val numberOfTopics: Int, val systemIdsInOrder: List<String>, val systemIndexById: Map<String, Int>)

Immutable, shared, hot-path numeric bundle.

sealed interface ProgressEvent

ProgressEvent family

====================

data class RunCompleted(val target: String, val threadName: String, val computingTime: Long) : ProgressEvent

Terminal signal for a target run.

data class TopKReplaceBatch(val target: String, val threadName: String, val blocks: Map<Int, List<String>>) : ProgressEvent

Batch of K → 10 CSV lines, where each list is already sorted by correlation ASC and contains exactly 10 rows for that K:

Build PrecomputedData from primitive AP rows.

Convert legacy boxed rows to primitive arrays.