![]() |
Vcsn
2.1
Be Rational
|
Functor to copy/convert a rational expression. More...
#include <copy.hh>
Classes | |
struct | visit_tuple |
struct | visit_tuple< false, Dummy > |
Public Types | |
using | in_expressionset_t = InExpSet |
using | out_expressionset_t = OutExpSet |
using | super_t = typename in_expressionset_t::const_visitor |
using | self_t = copier |
using | in_context_t = context_t_of< in_expressionset_t > |
using | in_value_t = typename in_expressionset_t::value_t |
using | out_value_t = typename out_expressionset_t::value_t |
using | node_t = typename super_t::node_t |
using | inner_t = typename super_t::inner_t |
template<type_t Type> | |
using | unary_t = typename super_t::template unary_t< Type > |
template<type_t Type> | |
using | variadic_t = typename super_t::template variadic_t< Type > |
using | leaf_t = typename super_t::leaf_t |
Public Member Functions | |
copier (const in_expressionset_t &in_rs, const out_expressionset_t &out_rs) | |
out_value_t | operator() (const in_value_t &v) |
Entry point: print v. More... | |
Private Types | |
using | tuple_t = typename super_t::tuple_t |
Private Member Functions | |
out_value_t | copy (const in_value_t &v) |
Easy recursion. More... | |
template<exp::type_t Type> | |
void | copy_ (const unary_t< Type > &v) |
Factor the copy of n-ary operations. More... | |
template<exp::type_t Type> | |
void | copy_ (const variadic_t< Type > &v) |
Factor the copy of n-ary operations. More... | |
VCSN_RAT_VISIT (complement, v) | |
VCSN_RAT_VISIT (conjunction, v) | |
VCSN_RAT_VISIT (infiltration, v) | |
VCSN_RAT_VISIT (ldiv, v) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (prod, v) | |
VCSN_RAT_VISIT (shuffle, v) | |
VCSN_RAT_VISIT (star, v) | |
VCSN_RAT_VISIT (sum, v) | |
VCSN_RAT_VISIT (transposition, v) | |
VCSN_RAT_VISIT (zero,) | |
VCSN_RAT_VISIT (atom, v) | |
VCSN_RAT_VISIT (lweight, v) | |
VCSN_RAT_VISIT (rweight, v) | |
void | visit (const tuple_t &v, std::true_type) override |
Private Attributes | |
const in_expressionset_t & | in_rs_ |
expressionset to decode the input value. More... | |
const out_expressionset_t & | out_rs_ |
expressionset to build the output value. More... | |
out_value_t | res_ |
Output value, under construction. More... | |
Functor to copy/convert a rational expression.
InExpSet | the input expressionset type. |
OutExpSet | the output expressionset type. |
using vcsn::rat::copier< InExpSet, OutExpSet >::in_context_t = context_t_of<in_expressionset_t> |
using vcsn::rat::copier< InExpSet, OutExpSet >::in_expressionset_t = InExpSet |
using vcsn::rat::copier< InExpSet, OutExpSet >::in_value_t = typename in_expressionset_t::value_t |
using vcsn::rat::copier< InExpSet, OutExpSet >::inner_t = typename super_t::inner_t |
using vcsn::rat::copier< InExpSet, OutExpSet >::leaf_t = typename super_t::leaf_t |
using vcsn::rat::copier< InExpSet, OutExpSet >::node_t = typename super_t::node_t |
using vcsn::rat::copier< InExpSet, OutExpSet >::out_expressionset_t = OutExpSet |
using vcsn::rat::copier< InExpSet, OutExpSet >::out_value_t = typename out_expressionset_t::value_t |
using vcsn::rat::copier< InExpSet, OutExpSet >::self_t = copier |
using vcsn::rat::copier< InExpSet, OutExpSet >::super_t = typename in_expressionset_t::const_visitor |
|
private |
using vcsn::rat::copier< InExpSet, OutExpSet >::unary_t = typename super_t::template unary_t<Type> |
using vcsn::rat::copier< InExpSet, OutExpSet >::variadic_t = typename super_t::template variadic_t<Type> |
|
inline |
|
inlineprivate |
Easy recursion.
Definition at line 63 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::res_.
Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), vcsn::rat::copier< InExpSet, OutExpSet >::operator()(), and vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT().
|
inlineprivate |
Factor the copy of n-ary operations.
Definition at line 72 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), and vcsn::rat::copier< InExpSet, OutExpSet >::res_.
Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT().
|
inlineprivate |
Factor the copy of n-ary operations.
Definition at line 82 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), and vcsn::rat::copier< InExpSet, OutExpSet >::res_.
|
inline |
Entry point: print v.
Definition at line 56 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy().
|
inlineprivate |
Definition at line 92 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 93 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 94 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 95 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 96 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, and vcsn::rat::copier< InExpSet, OutExpSet >::res_.
|
inlineprivate |
Definition at line 97 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 98 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 99 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 100 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 101 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::v.
|
inlineprivate |
Definition at line 102 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, and vcsn::rat::copier< InExpSet, OutExpSet >::res_.
|
inlineprivate |
Definition at line 104 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::v.
|
inlineprivate |
Definition at line 110 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::v.
|
inlineprivate |
Definition at line 117 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::v.
|
inlineoverrideprivate |
Definition at line 168 of file copy.hh.
References vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::v.
|
private |
expressionset to decode the input value.
Definition at line 174 of file copy.hh.
Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< bool, Dummy >::work_().
|
private |
expressionset to build the output value.
Definition at line 176 of file copy.hh.
Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< bool, Dummy >::work_().
|
private |
Output value, under construction.
Definition at line 178 of file copy.hh.
Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit().