awali::sttc::internal::transposer< RatExpSet > Class Template Reference

#include <transpose.hh>

Inheritance diagram for awali::sttc::internal::transposer< RatExpSet >:

Public Types
using	context_t = context_t_of< ratexpset_t >
using	ratexp_t = typename context_t::ratexp_t
using	ratexpset_t = RatExpSet
using	super_type = typename ratexpset_t::const_visitor
using	weight_t = weight_t_of< context_t >
using	weightset_t = weightset_t_of< context_t >

Public Member Functions
	transposer (const ratexpset_t &rs)
	AWALI_RAT_VISIT (atom, e)
	AWALI_RAT_VISIT (complement, e)
	AWALI_RAT_VISIT (conjunction, e)
	AWALI_RAT_VISIT (ldiv, e)
	AWALI_RAT_VISIT (lweight, e)
	AWALI_RAT_VISIT (one,)
	AWALI_RAT_VISIT (prod, e)
	AWALI_RAT_VISIT (rweight, e)
	AWALI_RAT_VISIT (shuffle, e)
	AWALI_RAT_VISIT (star, e)
	AWALI_RAT_VISIT (sum, e)
	AWALI_RAT_VISIT (transposition, e)
	AWALI_RAT_VISIT (zero,)
ratexp_t	operator() (const ratexp_t &e)
ratexp_t	transpose (const ratexp_t &e)

Detailed Description

template<class RatExpSet>
class awali::sttc::internal::transposer< RatExpSet >

Template Parameters

RatExpSet

the ratexp set.

Member Typedef Documentation

context_t

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::context_t = context_t_of<ratexpset_t>

ratexp_t

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::ratexp_t = typename context_t::ratexp_t

ratexpset_t

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::ratexpset_t = RatExpSet

super_type

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::super_type = typename ratexpset_t::const_visitor

weight_t

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::weight_t = weight_t_of<context_t>

weightset_t

template<class RatExpSet >

using awali::sttc::internal::transposer< RatExpSet >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

transposer()

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::transposer

(

const ratexpset_t &

rs

)

Member Function Documentation

AWALI_RAT_VISIT() [1/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	atom	,
		e
	)

AWALI_RAT_VISIT() [2/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	complement	,
		e
	)

AWALI_RAT_VISIT() [3/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	conjunction	,
		e
	)

AWALI_RAT_VISIT() [4/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	ldiv	,
		e
	)

AWALI_RAT_VISIT() [5/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	lweight	,
		e
	)

AWALI_RAT_VISIT() [6/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT

(

one

)

AWALI_RAT_VISIT() [7/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	prod	,
		e
	)

AWALI_RAT_VISIT() [8/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	rweight	,
		e
	)

AWALI_RAT_VISIT() [9/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	shuffle	,
		e
	)

AWALI_RAT_VISIT() [10/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	star	,
		e
	)

AWALI_RAT_VISIT() [11/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	sum	,
		e
	)

AWALI_RAT_VISIT() [12/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT	(	transposition	,
		e
	)

AWALI_RAT_VISIT() [13/13]

template<class RatExpSet >

awali::sttc::internal::transposer< RatExpSet >::AWALI_RAT_VISIT

(

zero

)

operator()()

template<class RatExpSet >

ratexp_t awali::sttc::internal::transposer< RatExpSet >::operator()

(

const ratexp_t &

e

)

transpose()

template<class RatExpSet >

ratexp_t awali::sttc::internal::transposer< RatExpSet >::transpose

(

const ratexp_t &

e

)

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/transpose.hh