Expand description
A bijective map between node indices and a TopologicalPosition, to store
the total topological order of the graph.
This data structure is an implementation detail and is not exposed in the public API.
Structs§
- Order
Map 🔒 - A bijective map between node indices and their position in a topological order.
- Topological
Position - A position in the topological order of the graph.