![]() |
Vcsn
2.3a
Be Rational
|
Functor to project a rational expression. More...
#include <project.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 = project_impl |
using | in_context_t = context_t_of< in_expressionset_t > |
using | in_expression_t = typename in_expressionset_t::value_t |
using | out_expression_t = typename out_expressionset_t::value_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 > |
Public Member Functions | |
project_impl (const in_expressionset_t &in_rs, const out_expressionset_t &out_rs) | |
project_impl (const in_expressionset_t &in_rs) | |
out_expression_t | operator() (const in_expression_t &v) |
Entry point: print v. More... | |
Private Types | |
using | ors_t = out_expressionset_t |
using | bin_t = out_expression_t(ors_t::*)(const out_expression_t &, const out_expression_t &) const |
using | tuple_t = typename super_t::tuple_t |
Private Member Functions | |
out_expression_t | rec_ (const in_expression_t &v) |
Easy recursion. More... | |
template<exp::type_t Type, typename Fun > | |
void | rec_ (const unary_t< Type > &v, Fun &&fun) |
Factor the handling of unary operations. More... | |
template<exp::type_t Type, typename Fun > | |
void | rec_ (const variadic_t< Type > &v, Fun &&fun) |
Factor the handling of n-ary operations. More... | |
VCSN_RAT_VISIT (add, v) | |
VCSN_RAT_VISIT (complement, v) | |
VCSN_RAT_VISIT (compose, v) | |
VCSN_RAT_VISIT (conjunction, v) | |
VCSN_RAT_VISIT (infiltrate, v) | |
VCSN_RAT_VISIT (ldivide, v) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (mul, v) | |
VCSN_RAT_VISIT (shuffle, v) | |
VCSN_RAT_VISIT (star, 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... | |
out_expressionset_t | out_rs_ |
expressionset to build the output value. More... | |
out_expression_t | res_ |
Output value, under construction. More... | |
Functor to project a rational expression.
InExpSet | the input expressionset type |
OutExpSet | the output expressionset type |
Tape | the selected tape |
Definition at line 15 of file project.hh.
|
private |
Definition at line 91 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::in_context_t = context_t_of<in_expressionset_t> |
Definition at line 24 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::in_expression_t = typename in_expressionset_t::value_t |
Definition at line 25 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::in_expressionset_t = InExpSet |
Definition at line 19 of file project.hh.
|
private |
Definition at line 81 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_expression_t = typename out_expressionset_t::value_t |
Definition at line 26 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_expressionset_t = OutExpSet |
Definition at line 20 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::self_t = project_impl |
Definition at line 22 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::super_t = typename in_expressionset_t::const_visitor |
Definition at line 21 of file project.hh.
|
private |
Definition at line 118 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::unary_t = typename super_t::template unary_t<Type> |
Definition at line 28 of file project.hh.
using vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::variadic_t = typename super_t::template variadic_t<Type> |
Definition at line 30 of file project.hh.
|
inline |
Definition at line 32 of file project.hh.
|
inline |
Definition at line 38 of file project.hh.
|
inline |
Entry point: print v.
Definition at line 45 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_().
|
inlineprivate |
Easy recursion.
Definition at line 52 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_.
Referenced by vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::operator()(), vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::VCSN_RAT_VISIT().
|
inlineprivate |
Factor the handling of unary operations.
Definition at line 61 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_.
|
inlineprivate |
Factor the handling of n-ary operations.
Definition at line 70 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::res, and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_.
|
inlineprivate |
Definition at line 82 of file project.hh.
References vcsn::rat::add, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 83 of file project.hh.
References vcsn::rat::complement, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 84 of file project.hh.
References vcsn::rat::compose, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 85 of file project.hh.
References vcsn::rat::conjunction, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 86 of file project.hh.
References vcsn::rat::infiltrate, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 87 of file project.hh.
References vcsn::rat::ldivide, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 88 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_.
|
inlineprivate |
Definition at line 92 of file project.hh.
References vcsn::rat::mul, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::v.
|
inlineprivate |
Definition at line 94 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::shuffle, and vcsn::v.
|
inlineprivate |
Definition at line 95 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::star, and vcsn::v.
|
inlineprivate |
Definition at line 96 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::transposition, and vcsn::v.
|
inlineprivate |
Definition at line 97 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_.
|
inlineprivate |
Definition at line 99 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_, and vcsn::v.
|
inlineprivate |
Definition at line 104 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_, and vcsn::v.
|
inlineprivate |
Definition at line 109 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::out_rs_, vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_, and vcsn::v.
|
inlineoverrideprivate |
Definition at line 142 of file project.hh.
References vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::res_, and vcsn::v.
|
private |
expressionset to decode the input value.
Definition at line 148 of file project.hh.
|
private |
expressionset to build the output value.
Definition at line 150 of file project.hh.
Referenced by vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::VCSN_RAT_VISIT().
|
private |
Output value, under construction.
Definition at line 152 of file project.hh.
Referenced by vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::rec_(), vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::VCSN_RAT_VISIT(), and vcsn::rat::project_impl< InExpSet, OutExpSet, Tape >::visit().