Vcsn  2.2
Be Rational
left-mult.hh File Reference
Include dependency graph for left-mult.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  vcsn::detail::standard_operations< Aut >
 Implementation of left- and right- multiplication of an automaton by a weight. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<Automaton Aut, typename Tag = auto_tag>
Aut & vcsn::left_mult_here (const weight_t_of< Aut > &w, Aut &res, Tag tag={})
 In place left-multiplication of an automaton by a weight. More...
 
template<Automaton Aut, typename Tag = auto_tag>
auto vcsn::left_mult (const weight_t_of< Aut > &w, const Aut &aut, Tag tag={}) -> fresh_automaton_t_of< Aut >
 Left-multiplication of an automaton by a weight. More...
 
template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::left_mult_tag (const weight_t_of< Aut > &w, Aut &aut)
 Left-product. More...
 
template<typename WeightSet , Automaton Aut, typename String >
automaton vcsn::dyn::detail::left_mult (const weight &weight, const automaton &aut, const std::string &algo)
 Bridge. More...
 
template<typename ValueSet >
auto vcsn::left_mult (const ValueSet &rs, const weight_t_of< ValueSet > &w, const typename ValueSet::value_t &r) -> decltype(rs.lmul(w, r))
 
template<typename WeightSet , typename ExpSet >
expansionset< expressionset< context< labelset_t_of< ExpSet >, join_t< WeightSet, weightset_t_of< ExpSet > > > > > vcsn::join_weightset_expansionset (const WeightSet &ws, const expansionset< ExpSet > &rs)
 
template<typename WeightSet , typename ExpansionSet >
expansion vcsn::dyn::detail::left_mult_expansion (const weight &weight, const expansion &exp)
 Bridge (left_mult). More...
 
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<Automaton Aut, typename Tag = auto_tag>
Aut & vcsn::right_mult_here (Aut &res, const weight_t_of< Aut > &w, Tag tag={})
 In place right-multiplication of an automaton by a weight. More...
 
template<Automaton Aut, typename Tag = auto_tag>
fresh_automaton_t_of< Aut > vcsn::right_mult (const Aut &aut, const weight_t_of< Aut > &w, Tag tag={})
 Right-multiplication of an automaton by a weight. More...
 
template<Automaton Aut, typename Tag >
automaton vcsn::dyn::detail::right_mult_tag (Aut &aut, const weight_t_of< Aut > &w)
 Right-product. More...
 
template<Automaton Aut, typename WeightSet , typename String >
automaton vcsn::dyn::detail::right_mult (const automaton &aut, const weight &weight, const std::string &algo)
 Bridge. More...
 
template<typename ValueSet >
ValueSet::value_t vcsn::right_mult (const ValueSet &rs, const typename ValueSet::value_t &r, const weight_t_of< ValueSet > &w)
 
template<typename ExpansionSet , typename WeightSet >
expansion vcsn::dyn::detail::right_mult_expansion (const expansion &exp, const weight &weight)
 Bridge (right_mult). More...
 
template<typename ExpSet , typename WeightSet >
expression vcsn::dyn::detail::right_mult_expression (const expression &exp, const weight &weight)
 Bridge (right_mult). More...