Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::emptiness_check::connected_component Struct Reference

Inheritance diagram for spot::emptiness_check::connected_component:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 connected_component (int index=-1)

Public Attributes

int index
bdd condition

Constructor & Destructor Documentation

spot::emptiness_check::connected_component::connected_component int  index = -1  ) 
 


Member Data Documentation

bdd spot::emptiness_check::connected_component::condition
 

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

int spot::emptiness_check::connected_component::index
 


The documentation for this struct was generated from the following file:
Generated on Tue Jan 13 18:20:41 2004 for spot by doxygen 1.3.5