![]() |
Vcsn
2.3a
Be Rational
|
A visitor to create a transposed expression,. More...
#include <transpose.hh>
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_ |
A visitor to create a transposed expression,.
ExpSet | the expression set. |
Definition at line 27 of file transpose.hh.
|
private |
Binary member functions of the expressionset.
Definition at line 83 of file transpose.hh.
using vcsn::detail::transpose_impl< ExpSet >::context_t = context_t_of<expressionset_t> |
Definition at line 35 of file transpose.hh.
using vcsn::detail::transpose_impl< ExpSet >::expression_t = typename expressionset_t::value_t |
Definition at line 32 of file transpose.hh.
using vcsn::detail::transpose_impl< ExpSet >::expressionset_t = ExpSet |
Definition at line 31 of file transpose.hh.
using vcsn::detail::transpose_impl< ExpSet >::self_t = transpose_impl |
Definition at line 34 of file transpose.hh.
using vcsn::detail::transpose_impl< ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 33 of file transpose.hh.
|
private |
Definition at line 175 of file transpose.hh.
|
private |
Definition at line 86 of file transpose.hh.
|
inline |
Definition at line 40 of file transpose.hh.
|
inlinestatic |
Name of this algorithm, for error messages.
Definition at line 38 of file transpose.hh.
|
inline |
An expression denoting the transposition of e.
Definition at line 47 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_.
|
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_().
|
inlineprivate |
Definition at line 65 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.
|
inlineprivate |
Definition at line 70 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.
|
inlineprivate |
Definition at line 75 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.
|
inlineprivate |
Definition at line 104 of file transpose.hh.
|
inlineprivate |
Definition at line 105 of file transpose.hh.
|
inlineprivate |
Definition at line 106 of file transpose.hh.
|
inlineprivate |
Definition at line 107 of file transpose.hh.
|
inlineprivate |
Definition at line 108 of file transpose.hh.
|
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().
|
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().
|
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().
|
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.
|
inlineprivate |
Definition at line 152 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::transpose_impl< ExpSet >::rs_.
|
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().
|
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().
|
inlineoverrideprivate |
Definition at line 203 of file transpose.hh.
References vcsn::detail::transpose_impl< ExpSet >::res_, and vcsn::detail::v.
|
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().
|
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_().
|
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_().