spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element Struct Reference

DFS stack element pairing a state its with successor iterator. More...

#include <spot/mc/utils.hh>

Collaboration diagram for spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element:

Public Attributes
State	s
	State. More...
SuccIterator *	it
	Iterator over successors. More...

Detailed Description

template<typename State, typename SuccIterator, typename StateHash, typename StateEqual>
struct spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element

DFS stack element pairing a state its with successor iterator.

Member Data Documentation

it

template<typename State , typename SuccIterator , typename StateHash , typename StateEqual >

SuccIterator* spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element::it

Iterator over successors.

s

template<typename State , typename SuccIterator , typename StateHash , typename StateEqual >

State spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element::s

State.

---

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

• spot/mc/utils.hh