spot::scc_stack::connected_component Struct Reference

A strongly connected component with its index, accumulated acceptance marks, and remaining states. More...

#include <spot/twaalgos/gtec/sccstack.hh>

Collaboration diagram for spot::scc_stack::connected_component:

Public Member Functions
	connected_component (int index=-1)
	Construct an SCC entry with the given index.

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

Detailed Description

A strongly connected component with its index, accumulated acceptance marks, and remaining states.

Constructor & Destructor Documentation

connected_component()

spot::scc_stack::connected_component::connected_component

(

int

index = -1

)

Construct an SCC entry with the given index.

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.

rem

std::list<const state*> spot::scc_stack::connected_component::rem

Remaining states in this SCC.

---

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

• spot/twaalgos/gtec/sccstack.hh