awali::sttc::internal::scc_kosaraju< Aut > Class Template Reference

Use Kosajaju algorithm for finding all of strongly connected components. More...

#include <has_twins_property.hh>

Public Types
using	component_t = std::unordered_set< state_t >
using	components_t = std::vector< component_t >

Public Member Functions
	scc_kosaraju (const Aut &aut)
const components_t	components ()

Detailed Description

template<typename Aut>
class awali::sttc::internal::scc_kosaraju< Aut >

Use Kosajaju algorithm for finding all of strongly connected components.

Member Typedef Documentation

component_t

template<typename Aut >

using awali::sttc::internal::scc_kosaraju< Aut >::component_t = std::unordered_set<state_t>

components_t

template<typename Aut >

using awali::sttc::internal::scc_kosaraju< Aut >::components_t = std::vector<component_t>

Constructor & Destructor Documentation

scc_kosaraju()

template<typename Aut >

awali::sttc::internal::scc_kosaraju< Aut >::scc_kosaraju

(

const Aut &

aut

)

Member Function Documentation

components()

template<typename Aut >

const components_t awali::sttc::internal::scc_kosaraju< Aut >::components

(

)

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/has_twins_property.hh