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:

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