![]() |
Vcsn
2.1
Be Rational
|
Get all states in reverse postorder using depth first search. More...
#include <scc.hh>
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::set< state_t > | marked_ |
Store the visited states. More... | |
Get all states in reverse postorder using depth first search.
using vcsn::detail::reverse_postorder_impl< Aut >::state_t = state_t_of<Aut> |
|
inline |
|
inlineprivate |
Definition at line 71 of file scc.hh.
References vcsn::detail::reverse_postorder_impl< Aut >::aut_, vcsn::has(), vcsn::detail::reverse_postorder_impl< Aut >::marked_, and vcsn::detail::reverse_postorder_impl< Aut >::rvp_.
|
inline |
Definition at line 65 of file scc.hh.
References vcsn::detail::reverse_postorder_impl< Aut >::rvp_.
Referenced by vcsn::reverse_postorder().
|
private |
Input automaton.
Definition at line 84 of file scc.hh.
Referenced by vcsn::detail::reverse_postorder_impl< Aut >::dfs().
|
private |
Store the visited states.
Definition at line 88 of file scc.hh.
Referenced by vcsn::detail::reverse_postorder_impl< Aut >::dfs().
|
private |
Revert postorder of dfs.
Definition at line 86 of file scc.hh.
Referenced by vcsn::detail::reverse_postorder_impl< Aut >::dfs(), and vcsn::detail::reverse_postorder_impl< Aut >::reverse_post().