NestedDataFrameColumn

data class NestedDataFrameColumn(val columnName: String, val macroExtractor: (SolverStateSnapshot, TrackingContext) -> Any?, val microExtractor: (SolverStateSnapshot, TrackingContext) -> Any?)(source)

Defines a single column for a nested DataFrame tracking.

Constructors

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

Properties

Link copied to clipboard