Awali
Another Weighted Automata library
Data Structures | Namespaces | Functions
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