Public Member Functions | Public Attributes

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