SPOT_API bool is_weak_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is weak.
SPOT_API bool is_inherently_weak_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is inherently weak.
SPOT_API bool is_complete_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is complete.
SPOT_API bool is_terminal_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is terminal.