Vcsn  2.3
Be Rational
vcsn::detail::transpose_impl< ExpSet > Class Template Reference

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
 
struct  visit_tuple< false, Dummy >
 

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 charme ()
 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
ExpSetthe expression set.

Definition at line 28 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 84 of file transpose.hh.

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

Definition at line 36 of file transpose.hh.

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

Definition at line 33 of file transpose.hh.

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

Definition at line 32 of file transpose.hh.

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

Definition at line 35 of file transpose.hh.

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

Definition at line 34 of file transpose.hh.

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

Definition at line 176 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 87 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 41 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 39 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 48 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
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( zero  )
inlineprivate
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( one  )
inlineprivate
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( atom  ,
 
)
inlineprivate
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( add  ,
 
)
inlineprivate

Definition at line 105 of file transpose.hh.

template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( compose  ,
 
)
inlineprivate

Definition at line 106 of file transpose.hh.

template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( conjunction  ,
 
)
inlineprivate

Definition at line 107 of file transpose.hh.

template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( infiltrate  ,
 
)
inlineprivate

Definition at line 108 of file transpose.hh.

template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( shuffle  ,
 
)
inlineprivate

Definition at line 109 of file transpose.hh.

template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( mul  ,
 
)
inlineprivate

Definition at line 112 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  ,
 
)
inlineprivate

Definition at line 119 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  ,
 
)
inlineprivate

Definition at line 124 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  ,
 
)
inlineprivate
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( ldivide  ,
 
)
inlineprivate
template<typename ExpSet >
vcsn::detail::transpose_impl< ExpSet >::VCSN_RAT_VISIT ( lweight  ,
 
)
inlineprivate

Definition at line 160 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  ,
 
)
inlineprivate

Definition at line 166 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 215 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 91 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


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