|
spot
2.3.3.dev
|

Public Member Functions | |
| connected_component (int index=-1) | |
Public Attributes | |
| int | index |
| Index of the SCC. More... | |
| acc_cond::mark_t | condition |
| std::list< const state * > | rem |
| acc_cond::mark_t spot::scc_stack::connected_component::condition |
The union of all acceptance marks of transitions the connected component.
| int spot::scc_stack::connected_component::index |
Index of the SCC.
1.8.13