spot::scc_stack::connected_component Struct Reference

#include <tgbaalgos/gtec/sccstack.hh>

Inheritance diagram for spot::scc_stack::connected_component:
Inheritance graph
[legend]

List of all members.

Public Member Functions

 connected_component (int index=-1)

Public Attributes

int index
 Index of the SCC.
bdd condition
std::list< const state * > rem

Constructor & Destructor Documentation

spot::scc_stack::connected_component::connected_component ( int  index = -1  ) 

Member Data Documentation

The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component.

Index of the SCC.


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 Fri Apr 16 09:43:44 2010 for spot by doxygen 1.6.3