awali::sttc::internal::is_synchronizable_impl< Tdc > Struct Template Reference

#include <synchronize.hh>

Public Types
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 >

Public Member Functions
	is_synchronizable_impl (Tdc tdc)
bool	test ()
bool	test_rec (state_t s)

Member Typedef Documentation

labelset0_t

template<typename Tdc >

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

labelset1_t

template<typename Tdc >

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

labelset_t

template<typename Tdc >

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

Constructor & Destructor Documentation

is_synchronizable_impl()

template<typename Tdc >

awali::sttc::internal::is_synchronizable_impl< Tdc >::is_synchronizable_impl

(

Tdc

tdc

)

Member Function Documentation

test()

template<typename Tdc >

bool awali::sttc::internal::is_synchronizable_impl< Tdc >::test

(

)

test_rec()

template<typename Tdc >

bool awali::sttc::internal::is_synchronizable_impl< Tdc >::test_rec

(

state_t

s

)

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/algos/synchronize.hh