spot 2.13.0.dev
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
spot::trans_index Class Referencefinal

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, transitiongraph_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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.8