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

◆ 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

◆ res_labelset_t

◆ ret_context_t

◆ ret_labelset_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: