spot  1.0
Public Member Functions | Public Attributes | List of all members
spot::scc_stats Struct Reference

#include <tgbaalgos/scc.hh>

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.
unsigned acc_scc
 Total number of accepting SCC.
unsigned dead_scc
unsigned acc_paths
unsigned dead_paths
unsigned self_loops
std::vector< bool > useless_scc_map
 A map of the useless SCCs.
bdd useful_acc

Member Function Documentation

std::ostream& spot::scc_stats::dump ( std::ostream &  out) const

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.

unsigned spot::scc_stats::self_loops
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 comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:34 for spot by doxygen 1.8.1.2