scc.hh File Reference

#include <vector>
#include <unordered_map>
#include <awali/sttc/history/partition_history.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::tarjaner_t< Aut >
struct	awali::sttc::internal::tarjaner_t< Aut >::token_t

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut >
std::pair< Aut, std::pair< std::unordered_map< state_t, unsigned int >, std::vector< std::vector< state_t > > > >	awali::sttc::condensation (Aut aut)
	Condense each strongly connected component to a state. More...
template<typename Aut >
std::pair< std::unordered_map< state_t, unsigned int >, std::vector< std::vector< state_t > > >	awali::sttc::scc_iterative (Aut aut)
	Iterative computation of strongly connected components. More...
template<typename Aut >
std::vector< state_t >	awali::sttc::scc_of (Aut aut, state_t s)
	Computes the strongly connected component of a state. More...
template<typename Aut >
std::pair< std::unordered_map< state_t, unsigned int >, std::vector< std::vector< state_t > > >	awali::sttc::scc_recursive (Aut aut)
	Recursive computation of strongly connected components. More...

---

Data Structure Documentation

awali::sttc::internal::tarjaner_t::token_t

struct awali::sttc::internal::tarjaner_t::token_t

template<typename Aut>
struct awali::sttc::internal::tarjaner_t< Aut >::token_t

Data Fields
tarjan_state_t *	caller
vector< state_t >	dst_to_treat
long unsigned int	remaining
tarjan_state_t *	src