Module scc_query 

Strongly-connected-component membership query.

Build an SCC-membership query Program:

use weir::scc_query::scc_query;

let program = scc_query(4, "same_scc", "query", "out");

scc_query - strongly-connected-component membership query.

Given the SCC label of every node (host-supplied via Tarjan or the GPU SCC primitive), return the set of nodes belonging to the same component as a query target. Used for cycle-detection rules and recursion-aware static analysis.

Structs

SccQuery

Soundness marker for scc_query.

Functions

scc_query

Build an SCC-membership Program.