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

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

Public Types
typedef scc_edge_iterator< Graph, Filter >	iter_t
typedef iter_t::tv_t	tv_t
typedef iter_t::sv_t	sv_t
typedef iter_t::dv_t	dv_t
typedef iter_t::state_iterator	state_iterator

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

---

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

• spot/twaalgos/sccinfo.hh