spot::trans_index Class Reference

Class for iterators over transitions. More...

#include <spot/twacube/twacube.hh>

Inheritance diagram for spot::trans_index:

Collaboration diagram for spot::trans_index:

Public Types
typedef digraph< cstate, transition >	graph_t
	Underlying graph type.
typedef graph_t::edge_storage_t	edge_storage_t
	Edge storage type.

Public Member Functions
	trans_index (trans_index &ci)=delete
	trans_index (unsigned state, const graph_t &g)
	Build an iterator for state state.
	trans_index (trans_index &&ci)
	Move an iterator.
void	reset ()
	Reset the iterator on the first element.
void	next ()
	Iterate over the next transition.
bool	done () const
	Returns a boolean indicating whether all the transitions have been iterated.
unsigned	current (unsigned seed=0) const
	Returns the current transition according to a specific seed. The seed is traditionally the thread identifier.

Detailed Description

Class for iterators over transitions.

Member Typedef Documentation

edge_storage_t

typedef graph_t::edge_storage_t spot::trans_index::edge_storage_t

Edge storage type.

graph_t

typedef digraph<cstate, transition> spot::trans_index::graph_t

Underlying graph type.

Constructor & Destructor Documentation

trans_index() [1/2]

spot::trans_index::trans_index ( unsigned  state, const graph_t &  g  )

inline

Build an iterator for state state.

trans_index() [2/2]

spot::trans_index::trans_index ( trans_index &&  ci )

inline

Move an iterator.

Member Function Documentation

current()

unsigned spot::trans_index::current ( unsigned  seed = 0 ) const

inline

Returns the current transition according to a specific seed. The seed is traditionally the thread identifier.

done()

bool spot::trans_index::done ( ) const

inline

Returns a boolean indicating whether all the transitions have been iterated.

next()

void spot::trans_index::next ( )

inline

Iterate over the next transition.

reset()

void spot::trans_index::reset ( )

inline

Reset the iterator on the first element.

---

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

• spot/twacube/twacube.hh