spot 2.14
Public Types | Public Member Functions | Friends | List of all members
spot::adjlist< State_Data >::successor_iterator Class Reference
Collaboration diagram for spot::adjlist< State_Data >::successor_iterator:

Public Types

using iterator_category = std::input_iterator_tag
 
using value_type = unsigned
 
using difference_type = std::ptrdiff_t
 
using pointer = const unsigned *
 
using reference = const unsigned &
 

Public Member Functions

 successor_iterator (const adjlist *g, unsigned idx)
 
int operator* () const
 
successor_iteratoroperator++ ()
 
successor_iterator operator++ (int)
 

Friends

bool operator== (const successor_iterator &iter, std::nullptr_t)
 
bool operator== (std::nullptr_t, const successor_iterator &iter)
 
bool operator!= (const successor_iterator &iter, std::nullptr_t)
 
bool operator!= (std::nullptr_t, const successor_iterator &iter)
 

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.4