spot::twa_reachable_iterator_depth_first::stack_item Struct Reference

DFS stack entry holding a state, its DFS number, and its active successor iterator. More...

#include <spot/twaalgos/reachiter.hh>

Collaboration diagram for spot::twa_reachable_iterator_depth_first::stack_item:

Public Attributes
const state *	src
	Source state (as a const_state*). More...
int	src_n
	Source state index. More...
twa_succ_iterator *	it
	Iterator over successors of src. More...

Detailed Description

DFS stack entry holding a state, its DFS number, and its active successor iterator.

Member Data Documentation

it

twa_succ_iterator* spot::twa_reachable_iterator_depth_first::stack_item::it

Iterator over successors of src.

src

const state* spot::twa_reachable_iterator_depth_first::stack_item::src

Source state (as a const_state*).

src_n

int spot::twa_reachable_iterator_depth_first::stack_item::src_n

Source state index.

---

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

• spot/twaalgos/reachiter.hh