Nested
data class NestedTrackerColumn(val headerName: String, val macroStringifier: (SolverStateSnapshot, TrackingContext) -> String, val microStringifier: (SolverStateSnapshot, TrackingContext) -> String)(source)
Defines a single column for a structured, nested tracker output (like CSV).
Constructors
Link copied to clipboard
constructor(headerName: String, macroStringifier: (SolverStateSnapshot, TrackingContext) -> String, microStringifier: (SolverStateSnapshot, TrackingContext) -> String)