Vcsn  2.2
Be Rational
vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> > Struct Template Reference

Lift all the label tapes to the weights. More...

#include <lift.hh>

Collaboration diagram for vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >:

Public Types

using in_context_t = Context
 Input context. More...
 
using in_label_t = label_t_of< in_context_t >
 
using weightset_t = expressionset< in_context_t >
 Result. More...
 
using context_t = context< oneset, weightset_t >
 

Static Public Member Functions

static context_t value (const in_context_t &ctx, vcsn::rat::identities ids)
 Lift a context. More...
 
static oneset::value_t kept_label (const in_label_t &)
 Label in the output. More...
 
static in_label_t weight_label (const in_label_t &l)
 Weight in the output. More...
 

Detailed Description

template<typename Context>
struct vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >

Lift all the label tapes to the weights.

Definition at line 34 of file lift.hh.

Member Typedef Documentation

template<typename Context >
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::context_t = context<oneset, weightset_t>

Definition at line 43 of file lift.hh.

template<typename Context >
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::in_context_t = Context

Input context.

Definition at line 37 of file lift.hh.

template<typename Context >
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::in_label_t = label_t_of<in_context_t>

Definition at line 38 of file lift.hh.

Result.

Output weightset: the expressionset based on the input context.

Definition at line 42 of file lift.hh.

Member Function Documentation

template<typename Context >
static oneset::value_t vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::kept_label ( const in_label_t )
inlinestatic

Label in the output.

Definition at line 53 of file lift.hh.

References vcsn::oneset::one().

Here is the call graph for this function:

template<typename Context >
static context_t vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::value ( const in_context_t ctx,
vcsn::rat::identities  ids 
)
inlinestatic

Lift a context.

Definition at line 46 of file lift.hh.

References vcsn::rat::ctx().

Here is the call graph for this function:

template<typename Context >
static in_label_t vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::weight_label ( const in_label_t l)
inlinestatic

Weight in the output.

Definition at line 60 of file lift.hh.


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