![]() |
Vcsn
2.1
Be Rational
|
Lift all the label tapes to the weights. More...
#include <lift.hh>
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... | |
Lift all the label tapes to the weights.
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::context_t = context<oneset, weightset_t> |
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::in_context_t = Context |
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::in_label_t = label_t_of<in_context_t> |
using vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::weightset_t = expressionset<in_context_t> |
|
inlinestatic |
Label in the output.
Definition at line 53 of file lift.hh.
References vcsn::oneset::one().
|
inlinestatic |
Lift a context.
Definition at line 46 of file lift.hh.
References vcsn::rat::ctx().
|
inlinestatic |