Vcsn
2.1
Be Rational
|
Compute the strongly connected components using Kosaraju's algorithm. More...
#include <scc.hh>
Public Types | |
using | state_t = state_t_of< Aut > |
using | component_t = detail::component_t< Aut > |
using | components_t = detail::components_t< Aut > |
Public Member Functions | |
scc_kosaraju_impl (const Aut &aut) | |
const components_t & | components () const |
Private Member Functions | |
void | dfs (state_t s) |
Private Attributes | |
Aut | aut_ |
Input automaton. More... | |
std::size_t | num_ = 0 |
The current component number. More... | |
components_t | components_ |
All components. More... | |
std::unordered_set< state_t > | marked_ |
Compute the strongly connected components using Kosaraju's algorithm.
using vcsn::detail::scc_kosaraju_impl< Aut >::component_t = detail::component_t<Aut> |
using vcsn::detail::scc_kosaraju_impl< Aut >::components_t = detail::components_t<Aut> |
using vcsn::detail::scc_kosaraju_impl< Aut >::state_t = state_t_of<Aut> |
|
inline |
|
inline |
Definition at line 222 of file scc.hh.
References vcsn::detail::scc_kosaraju_impl< Aut >::components_.
Referenced by vcsn::strong_components().
|
inlineprivate |
Definition at line 228 of file scc.hh.
References vcsn::detail::scc_kosaraju_impl< Aut >::aut_, vcsn::detail::scc_kosaraju_impl< Aut >::components_, vcsn::has(), vcsn::detail::scc_kosaraju_impl< Aut >::marked_, and vcsn::detail::scc_kosaraju_impl< Aut >::num_.
|
private |
Input automaton.
Definition at line 245 of file scc.hh.
Referenced by vcsn::detail::scc_kosaraju_impl< Aut >::dfs().
|
private |
All components.
Definition at line 249 of file scc.hh.
Referenced by vcsn::detail::scc_kosaraju_impl< Aut >::components(), and vcsn::detail::scc_kosaraju_impl< Aut >::dfs().
|
private |
Definition at line 250 of file scc.hh.
Referenced by vcsn::detail::scc_kosaraju_impl< Aut >::dfs().
|
private |
The current component number.
Definition at line 247 of file scc.hh.
Referenced by vcsn::detail::scc_kosaraju_impl< Aut >::dfs().