spot
1.1.3
|
#include "scc.hh"
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
bool | spot::is_inherently_weak_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is inherently weak. More... | |
bool | spot::is_weak_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is weak. More... | |
bool | spot::is_complete_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is complete. More... | |
bool | spot::is_syntactic_weak_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is syntactically weak. More... | |
bool | spot::is_syntactic_terminal_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is syntactically terminal. More... | |
bool | spot::is_terminal_scc (scc_map &map, unsigned scc) |
Whether the SCC number scc in map is terminal. More... | |