Awali
Another Weighted Automata library
Data Structures | Public Member Functions
awali::sttc::internal::tarjaner_t< Aut > Class Template Reference

#include <scc.hh>

Data Structures

struct  token_t
 

Public Member Functions

 tarjaner_t (automaton_t a)
 
 ~tarjaner_t ()
 
void add_subliminal_sccs ()
 
void compute_sccs_iterative ()
 
void compute_sccs_recursive ()
 
automaton_t condensation ()
 
result_t get_result ()
 
token_t make_token (tarjan_state_t *t, std::vector< state_t > v, tarjan_state_t *c=nullptr)
 
void visit_iterative (state_t stt)
 
void visit_recursive (const automaton_t &aut, state_t stt)
 

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

Constructor & Destructor Documentation

◆ tarjaner_t()

template<typename Aut >
awali::sttc::internal::tarjaner_t< Aut >::tarjaner_t ( automaton_t  a)

◆ ~tarjaner_t()

template<typename Aut >
awali::sttc::internal::tarjaner_t< Aut >::~tarjaner_t ( )

Member Function Documentation

◆ add_subliminal_sccs()

template<typename Aut >
void awali::sttc::internal::tarjaner_t< Aut >::add_subliminal_sccs ( )

◆ compute_sccs_iterative()

template<typename Aut >
void awali::sttc::internal::tarjaner_t< Aut >::compute_sccs_iterative ( )

◆ compute_sccs_recursive()

template<typename Aut >
void awali::sttc::internal::tarjaner_t< Aut >::compute_sccs_recursive ( )

◆ condensation()

template<typename Aut >
automaton_t awali::sttc::internal::tarjaner_t< Aut >::condensation ( )

◆ get_result()

template<typename Aut >
result_t awali::sttc::internal::tarjaner_t< Aut >::get_result ( )

◆ make_token()

template<typename Aut >
token_t awali::sttc::internal::tarjaner_t< Aut >::make_token ( tarjan_state_t *  t,
std::vector< state_t v,
tarjan_state_t *  c = nullptr 
)

◆ visit_iterative()

template<typename Aut >
void awali::sttc::internal::tarjaner_t< Aut >::visit_iterative ( state_t  stt)

◆ visit_recursive()

template<typename Aut >
void awali::sttc::internal::tarjaner_t< Aut >::visit_recursive ( const automaton_t &  aut,
state_t  stt 
)

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