spot
1.2.4
|
Public Member Functions | |
std::ostream & | dump (std::ostream &out) const |
Public Attributes | |
unsigned | scc_total |
Total number of SCCs. More... | |
unsigned | acc_scc |
Total number of accepting SCC. More... | |
unsigned | dead_scc |
unsigned | acc_paths |
unsigned | dead_paths |
unsigned | self_loops |
std::vector< bool > | useless_scc_map |
A map of the useless SCCs. More... | |
bdd | useful_acc |
unsigned spot::scc_stats::acc_paths |
Number of maximal accepting paths.
A path is maximal and accepting if it ends in an accepting SCC that has only dead (i.e. non accepting) successors, or no successors at all.
unsigned spot::scc_stats::acc_scc |
Total number of accepting SCC.
unsigned spot::scc_stats::dead_paths |
Number of paths to a terminal dead SCC.
A terminal dead SCC is a dead SCC without successors.
unsigned spot::scc_stats::dead_scc |
Total number of dead SCC.
An SCC is dead if no accepting SCC is reachable from it. Note that an SCC can be neither dead nor accepting.
unsigned spot::scc_stats::scc_total |
Total number of SCCs.
bdd spot::scc_stats::useful_acc |
The set of useful acceptance conditions (i.e. acceptance conditions that are not always implied by other acceptance conditions).
std::vector<bool> spot::scc_stats::useless_scc_map |
A map of the useless SCCs.