spot 2.14.5
Loading...
Searching...
No Matches
spot::internal::all_edge_iterator< Graph > Class Template Reference
Collaboration diagram for spot::internal::all_edge_iterator< Graph >:

Public Types

typedef std::conditional< std::is_const< Graph >::value, consttypenameGraph::edge_storage_t, typenameGraph::edge_storage_t >::type value_type
typedef value_type & reference
typedef value_type * pointer
typedef std::ptrdiff_t difference_type
typedef std::forward_iterator_tag iterator_category

Public Member Functions

 all_edge_iterator (unsigned pos, tv_t &tv) noexcept
 all_edge_iterator (tv_t &tv) noexcept
all_edge_iterator & operator++ ()
all_edge_iterator operator++ (int)
bool operator== (all_edge_iterator o) const
bool operator!= (all_edge_iterator o) const
reference operator* () const
pointer operator-> () const

Protected Types

typedef std::conditional< std::is_const< Graph >::value, consttypenameGraph::edge_vector_t, typenameGraph::edge_vector_t >::type tv_t

Protected Member Functions

void skip_ ()

Protected Attributes

unsigned t_
tv_t & tv_

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 for spot by doxygen 1.15.0