#include <sccstack.hh>
Inheritance diagram for spot::scc_stack::connected_component:
Public Member Functions | |
connected_component (int index=-1) | |
Public Attributes | |
int | index |
Index of the SCC. | |
bdd | condition |
|
|
|
The bdd condition is the union of all acceptance conditions of transitions which connect the states of the connected component. |
|
Index of the SCC.
|