Public Member Functions | Public Attributes

spot::scc_stats Struct Reference

#include <tgbaalgos/scc.hh>

List of all members.

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

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.

Total number of accepting SCC.

Number of paths to a terminal dead SCC.

A terminal dead SCC is a dead SCC without successors.

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.

Total number of SCCs.

The set of useful acceptance conditions (i.e. acceptance conditions that are not always implied by other acceptance conditions).

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 Tue Feb 1 2011 12:00:54 for spot by doxygen 1.7.1