Expand description
Shared strongly-connected-component utilities.
This module provides the small Tarjan SCC abstraction used by RAP analyses
and by the verification path extractor. The trait is intentionally graph
agnostic: clients provide successor queries and receive each discovered SCC
through on_scc_found.
Structs§
- SccExit
- An outgoing edge from an SCC body to a block outside the SCC.
- SccInfo
- Per-header SCC metadata used by loop-aware analyses.
- SccTree
- Tree representation for nested SCC metadata.
Traits§
- Scc
- Tarjan SCC callback trait.