20 #ifndef SPOT_TGBAALGOS_ISWEAKSCC_HH
21 # define SPOT_TGBAALGOS_ISWEAKSCC_HH
103 #endif // SPOT_TGBAALGOS_ISWEAKSCC_HH
SPOT_API bool is_syntactic_weak_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is syntactically weak.
SPOT_API bool is_syntactic_terminal_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is syntactically terminal.
SPOT_API bool is_complete_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is complete.
SPOT_API bool is_inherently_weak_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is inherently weak.
SPOT_API bool is_weak_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is weak.
SPOT_API bool is_terminal_scc(scc_map &map, unsigned scc)
Whether the SCC number scc in map is terminal.