vcsn::detail::reverse_postorder_impl< Aut > Class Template Reference

Get all vertices in reverse postorder by using depth first search. More...

#include <scc.hh>

Collaboration diagram for vcsn::detail::reverse_postorder_impl< Aut >:

Public Types
using	state_t = state_t_of< Aut >

Public Member Functions
	reverse_postorder_impl (const Aut &aut)
std::stack< state_t > &	reverse_post ()

Private Member Functions
void	dfs (state_t s, const Aut &aut)

Private Attributes
std::stack< state_t >	rvp_
std::set< state_t >	marked_
std::stack< state_t >	todo_

Detailed Description

template<typename Aut>
class vcsn::detail::reverse_postorder_impl< Aut >

Get all vertices in reverse postorder by using depth first search.

Definition at line 114 of file scc.hh.

Member Typedef Documentation

template<typename Aut>

using vcsn::detail::reverse_postorder_impl< Aut >::state_t = state_t_of<Aut>

Definition at line 117 of file scc.hh.

Constructor & Destructor Documentation

template<typename Aut>

vcsn::detail::reverse_postorder_impl< Aut >::reverse_postorder_impl ( const Aut &  aut )

inline

Definition at line 119 of file scc.hh.

References vcsn::detail::reverse_postorder_impl< Aut >::dfs(), vcsn::has(), and vcsn::detail::reverse_postorder_impl< Aut >::marked_.

Here is the call graph for this function:

Member Function Documentation

template<typename Aut>

void vcsn::detail::reverse_postorder_impl< Aut >::dfs ( state_t  s, const Aut &  aut  )

inlineprivate

Definition at line 132 of file scc.hh.

References vcsn::has(), vcsn::detail::reverse_postorder_impl< Aut >::marked_, and vcsn::detail::reverse_postorder_impl< Aut >::rvp_.

Referenced by vcsn::detail::reverse_postorder_impl< Aut >::reverse_postorder_impl().

Here is the call graph for this function:

template<typename Aut>

std::stack<state_t>& vcsn::detail::reverse_postorder_impl< Aut >::reverse_post ( )

inline

Definition at line 126 of file scc.hh.

References vcsn::detail::reverse_postorder_impl< Aut >::rvp_.

Referenced by vcsn::reverse_postorder().

Member Data Documentation

template<typename Aut>

std::set<state_t> vcsn::detail::reverse_postorder_impl< Aut >::marked_

private

Definition at line 144 of file scc.hh.

Referenced by vcsn::detail::reverse_postorder_impl< Aut >::dfs(), and vcsn::detail::reverse_postorder_impl< Aut >::reverse_postorder_impl().

template<typename Aut>

std::stack<state_t> vcsn::detail::reverse_postorder_impl< Aut >::rvp_

private

Definition at line 143 of file scc.hh.

Referenced by vcsn::detail::reverse_postorder_impl< Aut >::dfs(), and vcsn::detail::reverse_postorder_impl< Aut >::reverse_post().

template<typename Aut>

std::stack<state_t> vcsn::detail::reverse_postorder_impl< Aut >::todo_

private

Definition at line 145 of file scc.hh.

---

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

• vcsn/algos/scc.hh