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
typedef graph_t::edge_storage_t	edge_storage_t

Public Member Functions
	trans_index (trans_index &ci)=delete
	trans_index (unsigned state, const graph_t &g)
	trans_index (trans_index &&ci)
void	reset ()
	Reset the iterator on the first element.
void	next ()
	Iterate over the next transition.
bool	done () const
	Returns a boolean indicating wether 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 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 wether 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