NewBestSub
Toggle table of contents
JVM
Platform filter
JVM
Switch theme
Search in API
NewBestSub
NewBestSub
/
it.uniud.newbestsub.dataset.model
/
CardinalityResult
/
CardinalityResult
Cardinality
Result
constructor
(
target
:
String
,
threadName
:
String
,
cardinality
:
Int
,
correlation
:
Double
,
functionValuesCsvLine
:
String
,
variableValuesCsvLine
:
String
)