Collaboration diagram for spot::internal::scc_edge_iterator< Graph, Filter >:

Public Types
typedef std::conditional< std::is_const< Graph >::value, const typename Graph::edge_storage_t, typename Graph::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

typedef std::vector< unsigned >::const_iterator	state_iterator

typedef std::conditional< std::is_const< Graph >::value, const typename Graph::edge_vector_t, typename Graph::edge_vector_t >::type	tv_t

typedef std::conditional< std::is_const< Graph >::value, const typename Graph::state_vector, typename Graph::state_vector >::type	sv_t

typedef const Graph::dests_vector_t	dv_t

Public Member Functions
	scc_edge_iterator (state_iterator begin, state_iterator end, tv_t tv, sv_t sv, dv_t dv, Filter filt, edge_filter efilter, void efilter_data) noexcept

scc_edge_iterator &	operator++ ()

scc_edge_iterator	operator++ (int)

bool	operator== (scc_edge_iterator o) const

bool	operator!= (scc_edge_iterator o) const

reference	operator* () const

pointer	operator-> () const

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

Public Types

Public Member Functions