spot  2.11.6
Public Types | Public Member Functions | List of all members
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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1