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.

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 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:

• vcsn/algos/lift.hh