spot::scc_stack::connected_component Struct Reference

Collaboration diagram for spot::scc_stack::connected_component:

Public Member Functions
	connected_component (int index=-1)

Public Attributes
int	index
	Index of the SCC.
acc_cond::mark_t	condition
std::list< const state * >	rem

Member Data Documentation

condition

acc_cond::mark_t spot::scc_stack::connected_component::condition

The union of all acceptance marks of transitions the connected component.

index

int spot::scc_stack::connected_component::index

Index of the SCC.

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/gtec/sccstack.hh