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

#include <real_time.hh>

Public Types
using	automaton_t = mutable_automaton< ret_context_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	notnullset0_t = typename labelset_trait< labelset0_t >::not_nullable_t
using	pair_t = std::pair< state_t, wordset1_value_t >
using	res_context_t = sttc::context< res_labelset_t, weightset_t >
using	res_labelset_t = tupleset< labelset0_t, wordset1_t >
using	ret_context_t = sttc::context< ret_labelset_t, weightset_t >
using	ret_labelset_t = tupleset< notnullset0_t, wordset1_t >
using	weightset_t = weightset_t_of< Tdc >
using	wordset1_t = typename labelset_trait< labelset1_t >::wordset_t
using	wordset1_value_t = typename wordset1_t::value_t

Static Public Member Functions
static bool	is_realtime (const Tdc &tdc)
static bool	is_sequential (const Tdc &tdc)
static automaton_t	realtime (const Tdc &tdc, bool keep_history)

Member Typedef Documentation

automaton_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::automaton_t = mutable_automaton<ret_context_t>

labelset0_t

template<typename Tdc >

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

labelset1_t

template<typename Tdc >

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

labelset_t

template<typename Tdc >

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

notnullset0_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::notnullset0_t = typename labelset_trait<labelset0_t>::not_nullable_t

pair_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::pair_t = std::pair<state_t, wordset1_value_t>

res_context_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::res_context_t = sttc::context<res_labelset_t, weightset_t>

res_labelset_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::res_labelset_t = tupleset<labelset0_t,wordset1_t>

ret_context_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::ret_context_t = sttc::context<ret_labelset_t, weightset_t>

ret_labelset_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::ret_labelset_t = tupleset<notnullset0_t,wordset1_t>

weightset_t

template<typename Tdc >

using awali::sttc::internal::realtimer< Tdc >::weightset_t = weightset_t_of<Tdc>

wordset1_t

template<typename Tdc >

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

wordset1_value_t

template<typename Tdc >

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

Member Function Documentation

is_realtime()

template<typename Tdc >

static bool awali::sttc::internal::realtimer< Tdc >::is_realtime ( const Tdc &  tdc )

static

is_sequential()

template<typename Tdc >

static bool awali::sttc::internal::realtimer< Tdc >::is_sequential ( const Tdc &  tdc )

static

realtime()

template<typename Tdc >

static automaton_t awali::sttc::internal::realtimer< Tdc >::realtime ( const Tdc &  tdc, bool  keep_history  )

static

---

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

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