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