22 #include <spot/twaalgos/sccinfo.hh>
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 scc_has_rejecting_cycle(scc_info &map, unsigned scc)
Whether the SCC number scc in map has a rejecting cycle.
bool is_terminal_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is terminal.