spot::internal::killer_edge_iterator< Graph > Class Template Reference

Inheritance diagram for spot::internal::killer_edge_iterator< Graph >:

Collaboration diagram for spot::internal::killer_edge_iterator< Graph >:

Public Types
typedef Graph::state_storage_t	state_storage_t
typedef Graph::edge	edge
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
	killer_edge_iterator (Graph *g, edge t, state_storage_t &src) noexcept
killer_edge_iterator	operator++ ()
killer_edge_iterator	operator++ (int)
void	erase ()
bool	operator== (edge_iterator o) const
bool	operator!= (edge_iterator o) const
reference	operator* () const
pointer	operator-> () const
	operator bool () const
edge	trans () const

Protected Attributes
state_storage_t &	src_
edge	prev_
Graph *	g_
edge	t_

---

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

• spot/graph/graph.hh