Awali
Another Weighted Automata library
Public Types | Public Member Functions
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: