Vcsn  2.3
Be Rational
vcsn::detail::reverse_postorder_impl< Aut > Class Template Reference

Get all states in reverse postorder 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::vector< state_t > & reverse_post ()
 

Private Member Functions

void dfs (state_t s)
 

Private Attributes

Aut aut_
 Input automaton. More...
 
std::vector< state_trvp_
 Revert postorder of dfs. More...
 
std::unordered_set< state_tmarked_
 Store the visited states. More...
 

Detailed Description

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

Get all states in reverse postorder using depth first search.

Definition at line 54 of file scc.hh.

Member Typedef Documentation

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

Definition at line 57 of file scc.hh.

Constructor & Destructor Documentation

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

Definition at line 59 of file scc.hh.

Member Function Documentation

template<Automaton Aut>
void vcsn::detail::reverse_postorder_impl< Aut >::dfs ( state_t  s)
inlineprivate

Definition at line 74 of file scc.hh.

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

Here is the call graph for this function:

template<Automaton Aut>
std::vector<state_t>& vcsn::detail::reverse_postorder_impl< Aut >::reverse_post ( )
inline

Definition at line 68 of file scc.hh.

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

Referenced by vcsn::reverse_postorder().

Member Data Documentation

template<Automaton Aut>
Aut vcsn::detail::reverse_postorder_impl< Aut >::aut_
private

Input automaton.

Definition at line 87 of file scc.hh.

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

template<Automaton Aut>
std::unordered_set<state_t> vcsn::detail::reverse_postorder_impl< Aut >::marked_
private

Store the visited states.

Definition at line 91 of file scc.hh.

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

template<Automaton Aut>
std::vector<state_t> vcsn::detail::reverse_postorder_impl< Aut >::rvp_
private

Revert postorder of dfs.

Definition at line 89 of file scc.hh.

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


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