spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | List of all members
spot::scc_stats Struct Reference
Collaboration diagram for spot::scc_stats:
Collaboration graph

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
 

Member Data Documentation

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.


The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:12 for spot by doxygen 1.8.4