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

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

Public Types
typedef Graph::edge	edge

Public Member Functions
	state_out (Graph *g, edge t) noexcept
edge_iterator< Graph >	begin () const
edge_iterator< Graph >	end () const
void	recycle (edge t)

Protected Attributes
Graph *	g_
edge	t_

---

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

• spot/graph/graph.hh