|
template<typename Aut > |
Aut & | vcsn::left_mult_here (const weight_t_of< Aut > &w, Aut &res) |
|
template<typename AutIn , typename AutOut = fresh_automaton_t_of<AutIn>> |
AutOut | vcsn::left_mult (const weight_t_of< AutOut > &w, const AutIn &aut) |
|
template<typename WeightSet , typename Aut > |
automaton | vcsn::dyn::detail::left_mult (const weight &weight, const automaton &aut) |
| Bridge. More...
|
|
template<typename ExpSet > |
ExpSet::value_t | vcsn::left_mult (const ExpSet &rs, const weight_t_of< ExpSet > &w, const typename ExpSet::value_t &r) |
|
template<typename WeightSet , typename ExpSet > |
expressionset< context< labelset_t_of< ExpSet >, join_t< WeightSet, weightset_t_of< ExpSet > > > > | vcsn::join_weightset_expressionset (const WeightSet &ws, const ExpSet &rs) |
| Join between an expressionset and a weightset. More...
|
|
template<typename WeightSet , typename ExpSet > |
expression | vcsn::dyn::detail::left_mult_expression (const weight &weight, const expression &exp) |
| Bridge (left_mult). More...
|
|
template<typename Aut > |
Aut & | vcsn::right_mult_here (Aut &res, const weight_t_of< Aut > &w) |
|
template<typename Aut > |
fresh_automaton_t_of< Aut > | vcsn::right_mult (const Aut &aut, const weight_t_of< Aut > &w) |
|
template<typename Aut , typename WeightSet > |
automaton | vcsn::dyn::detail::right_mult (const automaton &aut, const weight &weight) |
| Bridge. More...
|
|
template<typename ExpSet > |
ExpSet::value_t | vcsn::right_mult (const ExpSet &rs, const typename ExpSet::value_t &r, const weight_t_of< ExpSet > &w) |
|
template<typename ExpSet , typename WeightSet > |
expression | vcsn::dyn::detail::right_mult_expression (const expression &exp, const weight &weight) |
| Bridge (right_mult). More...
|
|