spot::internal::scc_edge_iterator< Graph, Filter > Class Template Reference

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

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
typedef std::vector< unsigned >::const_iterator	state_iterator
typedef std::conditional< std::is_const< Graph >::value, consttypenameGraph::edge_vector_t, typenameGraph::edge_vector_t >::type	tv_t
typedef std::conditional< std::is_const< Graph >::value, consttypenameGraph::state_vector, typenameGraph::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

Protected Member Functions
void	inc_state_maybe_ ()
void	inc_ ()
bool	ignore_current ()

Protected Attributes
state_iterator	pos_
state_iterator	end_
unsigned	t_
tv_t *	tv_
sv_t *	sv_
dv_t *	dv_
Filter	filt_
edge_filter	efilter_
void *	efilter_data_

---

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

• spot/twaalgos/sccinfo.hh