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_t >	rvp_
	Revert postorder of dfs. More...
std::unordered_set< state_t >	marked_
	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

state_t

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

reverse_postorder_impl()

template<Automaton Aut>

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

inline

Definition at line 59 of file scc.hh.

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

Here is the call graph for this function:

Member Function Documentation

dfs()

template<Automaton Aut>

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

inlineprivate

Definition at line 78 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_.

Referenced by vcsn::detail::scc_impl< Aut, dijkstra_tag >::components(), vcsn::detail::scc_impl< Aut, dijkstra_tag >::dfs(), vcsn::detail::scc_impl< Aut, kosaraju_tag >::dfs(), vcsn::detail::scc_impl< Aut, tarjan_recursive_tag >::dfs(), vcsn::detail::reverse_postorder_impl< Aut >::reverse_postorder_impl(), vcsn::detail::scc_impl< Aut, kosaraju_tag >::scc_impl(), vcsn::detail::scc_impl< Aut, tarjan_iterative_tag >::scc_impl(), and vcsn::detail::scc_impl< Aut, tarjan_recursive_tag >::scc_impl().

Here is the call graph for this function:

reverse_post()

template<Automaton Aut>

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

inline

Definition at line 72 of file scc.hh.

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

Referenced by vcsn::reverse_postorder().

Member Data Documentation

aut_

template<Automaton Aut>

Aut vcsn::detail::reverse_postorder_impl< Aut >::aut_

private

Input automaton.

Definition at line 91 of file scc.hh.

Referenced by vcsn::detail::scc_impl< Aut, dijkstra_tag >::components(), vcsn::detail::reverse_postorder_impl< Aut >::dfs(), vcsn::detail::scc_impl< Aut, dijkstra_tag >::dfs(), vcsn::detail::scc_impl< Aut, kosaraju_tag >::dfs(), vcsn::detail::scc_impl< Aut, tarjan_iterative_tag >::dfs(), and vcsn::detail::scc_impl< Aut, tarjan_iterative_tag >::scc_impl().

marked_

template<Automaton Aut>

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

private

Store the visited states.

Definition at line 95 of file scc.hh.

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

rvp_

template<Automaton Aut>

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

private

Revert postorder of dfs.

Definition at line 93 of file scc.hh.

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

---

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

• vcsn/algos/scc.hh