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