Function SCIPdigraphComputeDirectedComponents 

pub unsafe extern "C" fn SCIPdigraphComputeDirectedComponents(
    digraph: *mut SCIP_DIGRAPH,
    compidx: c_int,
    strongcomponents: *mut c_int,
    strongcompstartidx: *mut c_int,
    nstrongcomponents: *mut c_int,
) -> SCIP_RETCODE

Computes all strongly connected components of an undirected connected component with Tarjan’s Algorithm. The resulting strongly connected components are sorted topologically (starting from the end of the strongcomponents array).

@note In general a topological sort of the strongly connected components is not unique.