21#include <spot/twaalgos/sccinfo.hh>
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:449
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.
bool is_complete_scc(scc_info &map, unsigned scc)
Whether the SCC number scc in map is complete.
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.
Definition: automata.hh:26