awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset > Class Template Reference

#include <exp_copy.hh>

Inheritance diagram for awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >:

Public Types
using	in_context_t = context_t_of< in_ratexpset_t >
using	in_ratexpset_t = RatExpSet
using	in_weightset_t = weightset_t_of< in_context_t >
using	labelset_t = labelset_t_of< in_context_t >
using	out_context_t = context< labelset_t, out_weightset_t >
using	out_ratexp_t = typename out_ratexpset_t::ratexp_t
using	out_ratexpset_t = ratexpset_of< out_context_t >
using	out_weightset_t = Weightset
using	ratexp_t = typename in_ratexpset_t::ratexp_t
using	super_type = typename RatExpSet::const_visitor

Public Member Functions
	expcopy_visitor (const in_ratexpset_t &ratexpset, const out_weightset_t &out_weightset)
	AWALI_RAT_VISIT (atom, e)
	AWALI_RAT_VISIT (lweight, e)
	AWALI_RAT_VISIT (maybe, e)
	AWALI_RAT_VISIT (one,)
	AWALI_RAT_VISIT (plus, e)
	AWALI_RAT_VISIT (prod, e)
	AWALI_RAT_VISIT (rweight, e)
	AWALI_RAT_VISIT (star, e)
	AWALI_RAT_VISIT (sum, e)
	AWALI_RAT_VISIT (zero,)
out_ratexpset_t	get_ratexpset ()
out_ratexp_t	operator() (const ratexp_t &v)

Static Public Member Functions
constexpr static const char *	me ()

Detailed Description

template<typename RatExpSet, typename Weightset = weightset_t_of<RatExpSet>>
class awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >

Template Parameters

Aut	relative the generated automaton
Context	relative to the RatExp.

Member Typedef Documentation

in_context_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::in_context_t = context_t_of<in_ratexpset_t>

in_ratexpset_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::in_ratexpset_t = RatExpSet

in_weightset_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::in_weightset_t = weightset_t_of<in_context_t>

labelset_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::labelset_t = labelset_t_of<in_context_t>

out_context_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::out_context_t = context<labelset_t, out_weightset_t>

out_ratexp_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::out_ratexp_t = typename out_ratexpset_t::ratexp_t

out_ratexpset_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::out_ratexpset_t = ratexpset_of<out_context_t>

out_weightset_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::out_weightset_t = Weightset

ratexp_t

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::ratexp_t = typename in_ratexpset_t::ratexp_t

super_type

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

using awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::super_type = typename RatExpSet::const_visitor

Constructor & Destructor Documentation

expcopy_visitor()

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::expcopy_visitor	(	const in_ratexpset_t &	ratexpset,
		const out_weightset_t &	out_weightset
	)

Member Function Documentation

AWALI_RAT_VISIT() [1/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	atom	,
		e
	)

AWALI_RAT_VISIT() [2/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	lweight	,
		e
	)

AWALI_RAT_VISIT() [3/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	maybe	,
		e
	)

AWALI_RAT_VISIT() [4/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT

(

one

)

AWALI_RAT_VISIT() [5/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	plus	,
		e
	)

AWALI_RAT_VISIT() [6/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	prod	,
		e
	)

AWALI_RAT_VISIT() [7/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	rweight	,
		e
	)

AWALI_RAT_VISIT() [8/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	star	,
		e
	)

AWALI_RAT_VISIT() [9/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT	(	sum	,
		e
	)

AWALI_RAT_VISIT() [10/10]

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::AWALI_RAT_VISIT

(

zero

)

get_ratexpset()

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

out_ratexpset_t awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::get_ratexpset

(

)

me()

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

constexpr static const char* awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::me ( )

staticconstexpr

operator()()

template<typename RatExpSet , typename Weightset = weightset_t_of<RatExpSet>>

out_ratexp_t awali::sttc::rat::expcopy_visitor< RatExpSet, Weightset >::operator()

(

const ratexp_t &

v

)

---

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

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