Struct CellTable

Struct Documentation

struct CellTable

The cells of one schedule and the reads over them: every form of every value, at every scope where it is resident, plus one Read per (consumer cell, production-tree leg).

Public Members

container::vector<TableCell> cells
container::vector<Read> reads
container::svector<std::pair<CellId, std::size_t>> unresolved

Diagnostics, not part of the model: (cell, carried position) pairs that are in the value’s own sliced modes but matched no enclosing loop instance of the same index space at the cell’s scope. The cell records such a position whole, so a non-empty list means the table describes a form the schedule may not actually produce &#8212; treat it like a violation on any schedule that is expected to be fully resolved.