DataFrameColumn

data class DataFrameColumn(val columnName: String, val extractor: (SolverStateSnapshot, TrackingContext) -> Any?)(source)

Defines a single column for a strongly-typed DataFrame tracker.

Constructors

Link copied to clipboard
constructor(columnName: String, extractor: (SolverStateSnapshot, TrackingContext) -> Any?)

Properties

Link copied to clipboard

The title of the column in the resulting DataFrame.

Link copied to clipboard

A function that extracts strongly-typed data (Double, Int, String, Map, etc.) from either the SolverStateSnapshot or the TrackingContext.