Vcsn  2.5.dev
Be Rational
Public Types | Static Public Member Functions | List of all members
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 35 of file lift.hh.

Member Typedef Documentation

◆ context_t

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

Definition at line 44 of file lift.hh.

◆ in_context_t

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

Input context.

Definition at line 38 of file lift.hh.

◆ in_label_t

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 39 of file lift.hh.

◆ weightset_t

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

Result.

Output weightset: the expressionset based on the input context.

Definition at line 43 of file lift.hh.

Member Function Documentation

◆ kept_label()

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 54 of file lift.hh.

References vcsn::oneset::one().

Here is the call graph for this function:

◆ value()

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 47 of file lift.hh.

References vcsn::detail::ctx.

◆ weight_label()

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 61 of file lift.hh.

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