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

#include <lift_tdc.hh>

Public Types
using	automaton_t = mutable_automaton< o_context_t >
using	exp_context_t = context< typename labelset_trait< exp_labelset_t >::ratlabelset_t, i_weightset_t >
using	exp_labelset_t = typename i_labelset_t::template valueset_t< 1 >
using	i_labelset_t = labelset_t_of< Tdc >
using	i_weightset_t = weightset_t_of< Tdc >
using	o_context_t = context< o_labelset_t, o_weightset_t >
using	o_labelset_t = typename i_labelset_t::template valueset_t< 0 >
using	o_weightset_t = ratexpset_of< exp_context_t >

Public Member Functions
	tdc_lifter (const Tdc &tdc)
mutable_automaton< o_context_t >	lift ()
void	set_history ()

Data Fields
std::map< state_t, state_t >	in_out_map
automaton_t	res
const Tdc &	tdc_

Member Typedef Documentation

automaton_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::automaton_t = mutable_automaton<o_context_t>

exp_context_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::exp_context_t = context<typename labelset_trait<exp_labelset_t>::ratlabelset_t, i_weightset_t>

exp_labelset_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::exp_labelset_t = typename i_labelset_t::template valueset_t<1>

i_labelset_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::i_labelset_t = labelset_t_of<Tdc>

i_weightset_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::i_weightset_t = weightset_t_of<Tdc>

o_context_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::o_context_t = context<o_labelset_t, o_weightset_t>

o_labelset_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::o_labelset_t = typename i_labelset_t::template valueset_t<0>

o_weightset_t

template<typename Tdc >

using awali::sttc::internal::tdc_lifter< Tdc >::o_weightset_t = ratexpset_of<exp_context_t>

Constructor & Destructor Documentation

tdc_lifter()

template<typename Tdc >

awali::sttc::internal::tdc_lifter< Tdc >::tdc_lifter

(

const Tdc &

tdc

)

Member Function Documentation

lift()

template<typename Tdc >

mutable_automaton<o_context_t> awali::sttc::internal::tdc_lifter< Tdc >::lift

(

)

set_history()

template<typename Tdc >

void awali::sttc::internal::tdc_lifter< Tdc >::set_history

(

)

Field Documentation

in_out_map

template<typename Tdc >

std::map<state_t, state_t> awali::sttc::internal::tdc_lifter< Tdc >::in_out_map

res

template<typename Tdc >

automaton_t awali::sttc::internal::tdc_lifter< Tdc >::res

tdc_

template<typename Tdc >

const Tdc& awali::sttc::internal::tdc_lifter< Tdc >::tdc_

---

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

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