Vcsn  2.4
Be Rational
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet > Class Template Reference

Functor to partial_identity/convert a rational expression. More...

#include <partial-identity.hh>

Inheritance diagram for vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >:
Collaboration diagram for vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >:

Classes

struct  visit_tuple
 

Public Types

using in_expressionset_t = InExpSet
 
using out_expressionset_t = OutExpSet
 
using super_t = typename in_expressionset_t::const_visitor
 
using self_t = partial_identity_impl
 
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
 
using out_expression_t = typename out_expressionset_t::value_t
 

Public Member Functions

 partial_identity_impl (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 bin_t = out_expression_t(out_expressionset_t::*)(const out_expression_t &, const out_expression_t &) const
 
using tuple_t = typename super_t::tuple_t
 

Private Member Functions

out_value_t recurse (const in_value_t &v)
 Easy recursion. More...
 
template<exp::type_t Type>
void recurse_ (const unary_t< Type > &v)
 Factor the handling of unary operations. More...
 
template<exp::type_t Type, typename Fun >
void recurse_ (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 (mul, v)
 
 VCSN_RAT_VISIT (one,)
 
 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_tin_rs_
 expressionset to decode the input value. More...
 
const out_expressionset_tout_rs_
 expressionset to build the output value. More...
 
out_value_t res_
 Output value, under construction. More...
 

Detailed Description

template<typename InExpSet, typename OutExpSet = InExpSet>
class vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >

Functor to partial_identity/convert a rational expression.

Template Parameters
InExpSetthe input expressionset type.
OutExpSetthe output expressionset type.

Definition at line 30 of file partial-identity.hh.

Member Typedef Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::bin_t = out_expression_t (out_expressionset_t::*)(const out_expression_t&, const out_expression_t&) const
private

Definition at line 104 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_context_t = context_t_of<in_expressionset_t>

Definition at line 39 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_expressionset_t = InExpSet

Definition at line 34 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_value_t = typename in_expressionset_t::value_t

Definition at line 40 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::inner_t = typename super_t::inner_t

Definition at line 43 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::leaf_t = typename super_t::leaf_t

Definition at line 48 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::node_t = typename super_t::node_t

Definition at line 42 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_expression_t = typename out_expressionset_t::value_t

Definition at line 50 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_expressionset_t = OutExpSet

Definition at line 35 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_value_t = typename out_expressionset_t::value_t

Definition at line 41 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::self_t = partial_identity_impl

Definition at line 37 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::super_t = typename in_expressionset_t::const_visitor

Definition at line 36 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::tuple_t = typename super_t::tuple_t
private

Definition at line 136 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
template<type_t Type>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 45 of file partial-identity.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>
template<type_t Type>
using vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 47 of file partial-identity.hh.

Constructor & Destructor Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::partial_identity_impl ( const in_expressionset_t in_rs,
const out_expressionset_t out_rs 
)
inline

Definition at line 52 of file partial-identity.hh.

Member Function Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>
out_value_t vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::operator() ( const in_value_t v)
inline

Entry point: print v.

Definition at line 60 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse().

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
template<exp::type_t Type>
void vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_ ( const unary_t< Type > &  v)
inlineprivate

Factor the handling of unary operations.

Definition at line 76 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse(), and vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::res_.

Referenced by vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT().

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
template<exp::type_t Type, typename Fun >
void vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_ ( const variadic_t< Type > &  v,
Fun &&  fun 
)
inlineprivate

Factor the handling of n-ary operations.

Definition at line 86 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse(), and vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::res_.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( add  ,
v   
)
inlineprivate

Definition at line 96 of file partial-identity.hh.

References vcsn::rat::add, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( complement  ,
v   
)
inlineprivate

Definition at line 97 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( compose  ,
v   
)
inlineprivate

Definition at line 98 of file partial-identity.hh.

References vcsn::rat::compose, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( conjunction  ,
v   
)
inlineprivate

Definition at line 99 of file partial-identity.hh.

References vcsn::rat::conjunction, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( infiltrate  ,
v   
)
inlineprivate

Definition at line 100 of file partial-identity.hh.

References vcsn::rat::infiltrate, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( ldivide  ,
v   
)
inlineprivate

Definition at line 101 of file partial-identity.hh.

References vcsn::rat::ldivide, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( mul  ,
v   
)
inlineprivate

Definition at line 105 of file partial-identity.hh.

References vcsn::rat::mul, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( one  )
inlineprivate
template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( shuffle  ,
v   
)
inlineprivate

Definition at line 108 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), vcsn::rat::shuffle, and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( star  ,
v   
)
inlineprivate

Definition at line 109 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( transposition  ,
v   
)
inlineprivate

Definition at line 110 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse_(), and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( zero  )
inlineprivate
template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( atom  ,
v   
)
inlineprivate
template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( lweight  ,
v   
)
inlineprivate

Definition at line 118 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_rs_, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_rs_, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse(), vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::res_, and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( rweight  ,
v   
)
inlineprivate

Definition at line 125 of file partial-identity.hh.

References vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_rs_, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_rs_, vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::recurse(), vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::res_, and vcsn::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>
void vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::visit ( const tuple_t v,
std::true_type   
)
inlineoverrideprivate

Member Data Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>
const in_expressionset_t& vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::in_rs_
private
template<typename InExpSet , typename OutExpSet = InExpSet>
const out_expressionset_t& vcsn::rat::partial_identity_impl< InExpSet, OutExpSet >::out_rs_
private

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