Struct SccGraph 

pub struct SccGraph {
    pub order: Vec<BTreeSet<DefinitionId>>,
    pub depends_on: BTreeMap<DefinitionId, BTreeSet<DefinitionId>>,
    pub member_of: BTreeMap<DefinitionId, DefinitionId>,
}

scc_graph’s output: the dependency-ordered component membership plus the condensation DAG’s adjacency, keyed by each component’s stable id — its own minimum member (FG-2, issue #631’s scc_membership() query; SccId is a plain DefinitionId in brink-db’s query layer, per the design doc’s “already the sort key in graph.rs” note).

PartialEq/Eq: the salsa cutoff for scc_membership_query — an edit that leaves the call graph’s SCC partition and condensation identical leaves this equal, so every solve_scc_query backdates.

Fields

order: Vec<BTreeSet<DefinitionId>>

Every component, in the same dependency order [topo_order] returns: a component appears after every other component it calls.

depends_on: BTreeMap<DefinitionId, BTreeSet<DefinitionId>>

component id -> { other component ids it calls } — the condensation adjacency. solve_scc(S) reads solve_scc(T) for each T in depends_on[S]; the condensation is a DAG (SCCs are maximal by construction), so this recursion is always acyclic — no salsa cycles (Fork 1 ruling, design doc §8).

member_of: BTreeMap<DefinitionId, DefinitionId>

def -> its component's id — the reverse index inferred_signature(def) / infer_body(def) use to find which solve_scc result to read.

Trait Implementations

impl Clone for SccGraph

fn clone(&self) -> SccGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SccGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SccGraph

fn default() -> SccGraph

Returns the “default value” for a type.

impl Eq for SccGraph

impl PartialEq for SccGraph

fn eq(&self, other: &SccGraph) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SccGraph