Grid<'CellData, 'EdgeData> Type
A grid builder that wraps a graph and maintains grid dimensions.
The grid uses row-major ordering: node_id = row × cols + col
Type Parameters
- 'CellData: The data stored in each grid cell (becomes node data)
- 'EdgeData: The data stored on edges (typically int for weights)
Record fields
| Record Field |
Description
|
Full Usage:
Cols
Field type: int
|
Number of columns in the grid
|
The underlying graph structure
|
|
Full Usage:
Rows
Field type: int
|
Number of rows in the grid
|