awali::sttc::internal::synchronizer< Tdc > Class Template Reference

#include <synchronize.hh>

Public Types
using	automaton_t = Aut
using	label_t = label_t_of< automaton_t >
using	labelset0_t = typename labelset_t::template valueset_t< 0 >
using	labelset1_t = typename labelset_t::template valueset_t< 1 >
using	labelset_t = labelset_t_of< Tdc >
using	triple_t = std::tuple< state_t, wordset0_value_t, wordset1_value_t >
using	word_t = typename labelset_t_of< automaton_t >::word_t
using	wordset0_t = typename labelset_trait< labelset0_t >::wordset_t
using	wordset0_value_t = typename wordset0_t::value_t
using	wordset1_t = typename labelset_trait< labelset1_t >::wordset_t
using	wordset1_value_t = typename wordset1_t::value_t

Public Member Functions
	synchronizer (const automaton_t &aut)
word_t	cycle ()
word_t	fastsynchro ()
word_t	greedy ()
bool	is_synchronizing ()
word_t	synchroP ()
word_t	synchroPL ()

Static Public Member Functions
static Tdc	algo (const Tdc &tdc, bool keep_history=true)

Member Typedef Documentation

automaton_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::automaton_t = Aut

label_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::label_t = label_t_of<automaton_t>

labelset0_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::labelset0_t = typename labelset_t::template valueset_t<0>

labelset1_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::labelset1_t = typename labelset_t::template valueset_t<1>

labelset_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::labelset_t = labelset_t_of<Tdc>

triple_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::triple_t = std::tuple<state_t, wordset0_value_t, wordset1_value_t>

word_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::word_t = typename labelset_t_of<automaton_t>::word_t

wordset0_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::wordset0_t = typename labelset_trait<labelset0_t>::wordset_t

wordset0_value_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::wordset0_value_t = typename wordset0_t::value_t

wordset1_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::wordset1_t = typename labelset_trait<labelset1_t>::wordset_t

wordset1_value_t

template<typename Tdc >

using awali::sttc::internal::synchronizer< Tdc >::wordset1_value_t = typename wordset1_t::value_t

Constructor & Destructor Documentation

synchronizer()

template<typename Tdc >

awali::sttc::internal::synchronizer< Tdc >::synchronizer

(

const automaton_t &

aut

)

Member Function Documentation

algo()

template<typename Tdc >

static Tdc awali::sttc::internal::synchronizer< Tdc >::algo ( const Tdc &  tdc, bool  keep_history = true  )

static

cycle()

template<typename Tdc >

word_t awali::sttc::internal::synchronizer< Tdc >::cycle

(

)

fastsynchro()

template<typename Tdc >

word_t awali::sttc::internal::synchronizer< Tdc >::fastsynchro

(

)

greedy()

template<typename Tdc >

word_t awali::sttc::internal::synchronizer< Tdc >::greedy

(

)

is_synchronizing()

template<typename Tdc >

bool awali::sttc::internal::synchronizer< Tdc >::is_synchronizing

(

)

synchroP()

template<typename Tdc >

word_t awali::sttc::internal::synchronizer< Tdc >::synchroP

(

)

synchroPL()

template<typename Tdc >

word_t awali::sttc::internal::synchronizer< Tdc >::synchroPL

(

)

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/synchronize.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/factories/synchronizing_word.hh