A visitor to create a transposed expression,. More...

#include <transpose.hh>

Inheritance diagram for vcsn::detail::transpose_impl< ExpSet >:

Collaboration diagram for vcsn::detail::transpose_impl< ExpSet >:

Classes
struct	visit_tuple

Public Types
using	expressionset_t = ExpSet

using	expression_t = typename expressionset_t::value_t

using	super_t = typename expressionset_t::const_visitor

using	self_t = transpose_impl

using	context_t = context_t_of< expressionset_t >

Public Member Functions
	transpose_impl (const expressionset_t &rs)

expression_t	operator() (const expression_t &e)
	An expression denoting the transposition of e. More...

Static Public Member Functions
static constexpr const char *	me ()
	Name of this algorithm, for error messages. More...

Private Types
using	binary_t = expression_t(expressionset_t::*)(const expression_t &, const expression_t &) const
	Binary member functions of the expressionset. More...

template<rat::type_t Type>
using	variadic_t = rat::variadic< Type, context_t >

using	tuple_t = typename super_t::tuple_t

Private Member Functions
expression_t	transpose (const expression_t &e)
	Easy recursion. More...

	VCSN_RAT_VISIT (zero,)

	VCSN_RAT_VISIT (one,)

	VCSN_RAT_VISIT (atom, e)

template<rat::type_t Type>
void	visit_ (const variadic_t< Type > &v, binary_t f)
	Factor the visitation of "commutative" variadic nodes. More...

	VCSN_RAT_VISIT (add, e)

	VCSN_RAT_VISIT (compose, e)

	VCSN_RAT_VISIT (conjunction, e)

	VCSN_RAT_VISIT (infiltrate, e)

	VCSN_RAT_VISIT (shuffle, e)

	VCSN_RAT_VISIT (mul, e)

	VCSN_RAT_VISIT (star, e)

	VCSN_RAT_VISIT (complement, e)

	VCSN_RAT_VISIT (transposition, e)

	VCSN_RAT_VISIT (ldivide, e)

	VCSN_RAT_VISIT (lweight, e)

	VCSN_RAT_VISIT (rweight, e)

void	visit (const tuple_t &v, std::true_type) override

Private Attributes
expressionset_t	rs_

expression_t	res_

Detailed Description

template<typename ExpSet>
class vcsn::detail::transpose_impl< ExpSet >

A visitor to create a transposed expression,.

Template Parameters

ExpSet the expression set.

Definition at line 27 of file transpose.hh.

Member Typedef Documentation

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::binary_t = expression_t (expressionset_t::*)(const expression_t&, const expression_t&) const

private

Binary member functions of the expressionset.

Definition at line 83 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::context_t = context_t_of<expressionset_t>

Definition at line 35 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::expression_t = typename expressionset_t::value_t

Definition at line 32 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::expressionset_t = ExpSet

Definition at line 31 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::self_t = transpose_impl

Definition at line 34 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 33 of file transpose.hh.

template<typename ExpSet >

using vcsn::detail::transpose_impl< ExpSet >::tuple_t = typename super_t::tuple_t

private

Definition at line 175 of file transpose.hh.

template<typename ExpSet >

template<rat::type_t Type>

using vcsn::detail::transpose_impl< ExpSet >::variadic_t = rat::variadic<Type, context_t>

private

Definition at line 86 of file transpose.hh.

Constructor & Destructor Documentation

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::transpose_impl ( const expressionset_t & rs )

inline

Definition at line 40 of file transpose.hh.

Member Function Documentation

template<typename ExpSet >

static constexpr const char* vcsn::detail::transpose_impl< ExpSet >::me ( )

inlinestatic

Name of this algorithm, for error messages.

Definition at line 38 of file transpose.hh.

template<typename ExpSet >

expression_t vcsn::detail::transpose_impl< ExpSet >::operator() ( const expression_t & e )

inline

An expression denoting the transposition of e.

Definition at line 47 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_.

template<typename ExpSet >

expression_t vcsn::detail::transpose_impl< ExpSet >::transpose ( const expression_t & e )

inlineprivate

Easy recursion.

Definition at line 56 of file transpose.hh.

References vcsn::res, and vcsn::detail::transpose_impl< ExpSet >::res_.

Referenced by vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT(), and vcsn::detail::transpose_impl< ExpSet >::visit_().

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( zero )

inlineprivate

Definition at line 65 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( one )

inlineprivate

Definition at line 70 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	atom	,
		e
	)

inlineprivate

Definition at line 75 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	add	,
		e
	)

inlineprivate

Definition at line 104 of file transpose.hh.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	compose	,
		e
	)

inlineprivate

Definition at line 105 of file transpose.hh.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	conjunction	,
		e
	)

inlineprivate

Definition at line 106 of file transpose.hh.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	infiltrate	,
		e
	)

inlineprivate

Definition at line 107 of file transpose.hh.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	shuffle	,
		e
	)

inlineprivate

Definition at line 108 of file transpose.hh.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	mul	,
		e
	)

inlineprivate

Definition at line 111 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	star	,
		e
	)

inlineprivate

Definition at line 118 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	complement	,
		e
	)

inlineprivate

Definition at line 123 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	transposition	,
		e
	)

inlineprivate

Definition at line 128 of file transpose.hh.

References vcsn::rat::ldivide, vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::rat::transposition.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	ldivide	,
		e
	)

inlineprivate

Definition at line 152 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	lweight	,
		e
	)

inlineprivate

Definition at line 159 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

template<typename ExpSet >

vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT	(	rweight	,
		e
	)

inlineprivate

Definition at line 165 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

template<typename ExpSet >

void vcsn::detail::transpose_impl< ExpSet >::visit	(	const tuple_t &	v,
		std::true_type
	)

inlineoverrideprivate

Definition at line 203 of file transpose.hh.

References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::v.

template<typename ExpSet >

template<rat::type_t Type>

void vcsn::detail::transpose_impl< ExpSet >::visit_	(	const variadic_t< Type > &	v,
		binary_t	f
	)

inlineprivate

Factor the visitation of "commutative" variadic nodes.

Definition at line 90 of file transpose.hh.

References vcsn::rat::variadic< Type, Context >::head(), vcsn::detail::transpose_impl< ExpSet >::res_, vcsn::detail::transpose_impl< ExpSet >::rs_, vcsn::rat::variadic< Type, Context >::tail(), and vcsn::detail::transpose_impl< ExpSet >::transpose().

Here is the call graph for this function:

Member Data Documentation

template<typename ExpSet >

expression_t vcsn::detail::transpose_impl< ExpSet >::res_

private

Definition at line 212 of file transpose.hh.

Referenced by vcsn::detail::transpose_impl< ExpSet >::operator()(), vcsn::detail::transpose_impl< ExpSet >::transpose(), vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT(), vcsn::detail::transpose_impl< ExpSet >::visit(), and vcsn::detail::transpose_impl< ExpSet >::visit_().

template<typename ExpSet >

expressionset_t vcsn::detail::transpose_impl< ExpSet >::rs_

private

Definition at line 211 of file transpose.hh.

Referenced by vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT(), vcsn::detail::transpose_impl< ExpSet >::visit_(), and vcsn::detail::transpose_impl< ExpSet >::visit_tuple< Dummy >::work_().

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

vcsn/core/rat/transpose.hh

Classes

Public Types

Public Member Functions

Static Public Member Functions

Private Types

Private Member Functions

Private Attributes

Detailed Description

template<typename ExpSet> class vcsn::detail::transpose_impl< ExpSet >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<typename ExpSet>
class vcsn::detail::transpose_impl< ExpSet >