Variable DataFrameTopConst

DataFrameTop: { colnames: "top"; cols: [0, number]; rows: [0, number] } = ...

The top element (greatest element) of the data frame shape domain representing all possible value, mapping the columns names to ColNamesTop and the number of columns and rows to IntervalTop.

Type declaration

  • Readonlycolnames: "top"
  • Readonlycols: [0, number]
  • Readonlyrows: [0, number]

Settings

Member Visibility