Expand description
Shared utilities.
Modules
Structs
Edge weight used for the graph nodes
Simple HashMap-based name generator that generates new names for each prefix.
Weight graph provides a wrapper over a Graph that allows adding edges using
the NodeWeight type T
(petgraph only allows adding edges using NodeIndex
).
Additionally, the edges are not allowed to have any weights.
Enums
Possible choices for output streams.
Used by the -o
option to the compiler.