Expand description
A wrapper around graph types that enforces an acyclicity invariant.
Modules§
- order_
map 🔒 - A bijective map between node indices and a
TopologicalPosition, to store the total topological order of the graph.
Macros§
Structs§
- Acyclic
- A directed acyclic graph.
- Topological
Position - A position in the topological order of the graph.
Enums§
- Acyclic
Edge Error - An error that can occur during edge addition for acyclic graphs.
Functions§
- dfs 🔒
- Traverse nodes in
graphin DFS order, starting fromstart, for as long as the predicatevalid_orderreturnstrueon the current node’s order.