spot::scc_stack_ta::connected_component Struct Reference

Collaboration diagram for spot::scc_stack_ta::connected_component:

Public Member Functions
	connected_component (int index=-1) noexcept

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

Member Data Documentation

condition

acc_cond::mark_t spot::scc_stack_ta::connected_component::condition

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

index

int spot::scc_stack_ta::connected_component::index

Index of the SCC.

---

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

• spot/ta/ta.hh