NewBestSub
Toggle table of contents
JVM
Platform filter
JVM
Switch theme
Search in API
NewBestSub
NewBestSub
/
it.uniud.newbestsub.dataset.model
/
CardinalityResult
/
variableValuesCsvLine
variable
Values
Csv
Line
val
variableValuesCsvLine
:
String
Matching VAR line: space-separated bitstring
"0 1 0 1 ..."
or compact if you prefer.