spot::enumerate_cycles::state_info Struct Reference

Per-state information maintained by the cycle enumeration algorithm. More...

#include <spot/twaalgos/cycles.hh>

Collaboration diagram for spot::enumerate_cycles::state_info:

Public Member Functions
	state_info (unsigned num)
	Construct with initial state number. More...

Public Attributes
bool	seen
	Whether this state has been visited. More...
bool	reach
	Whether this state is reachable from the start. More...
bool	mark
	Whether this state is marked. More...
std::vector< bool >	del
	Delayed transition set. More...
std::vector< unsigned >	b
	BDD labeling associated with the state. More...

Detailed Description

Per-state information maintained by the cycle enumeration algorithm.

Constructor & Destructor Documentation

state_info()

spot::enumerate_cycles::state_info::state_info ( unsigned  num )

inline

Construct with initial state number.

Member Data Documentation

b

std::vector<unsigned> spot::enumerate_cycles::state_info::b

BDD labeling associated with the state.

del

std::vector<bool> spot::enumerate_cycles::state_info::del

Delayed transition set.

mark

bool spot::enumerate_cycles::state_info::mark

Whether this state is marked.

reach

bool spot::enumerate_cycles::state_info::reach

Whether this state is reachable from the start.

seen

bool spot::enumerate_cycles::state_info::seen

Whether this state has been visited.

---

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

• spot/twaalgos/cycles.hh