Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
left-mult.cc
Go to the documentation of this file.
3 #include <vcsn/dyn/algos.hh>
4 #include <vcsn/dyn/automaton.hh>
5 
6 namespace vcsn
7 {
8  namespace dyn
9  {
10  REGISTER_DEFINE(left_mult);
11  automaton
12  left_mult(const weight& w, const automaton& aut)
13  {
14  return detail::left_mult_registry().call(w, aut);
15  }
16 
17  REGISTER_DEFINE(left_mult_ratexp);
18  ratexp
19  left_mult(const weight& w, const ratexp& r)
20  {
21  return detail::left_mult_ratexp_registry().call(w, r);
22  }
23 
24  REGISTER_DEFINE(right_mult);
25  automaton
26  right_mult(const automaton& aut, const weight& w)
27  {
28  return detail::right_mult_registry().call(aut, w);
29  }
30 
31  REGISTER_DEFINE(right_mult_ratexp);
32  ratexp
33  right_mult(const ratexp& r, const weight& w)
34  {
35  return detail::right_mult_ratexp_registry().call(r, w);
36  }
37  }
38 }
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
automaton right_mult(const automaton &aut, const weight &w)
The right-mult automaton with w as weight.
Definition: left-mult.cc:26
std::shared_ptr< const detail::weight_base > weight
Definition: fwd.hh:82
std::shared_ptr< detail::ratexp_base > ratexp
Definition: fwd.hh:64
automaton left_mult(const weight &w, const automaton &aut)
The left-multiplication of an automaton with w as weight.
Definition: left-mult.cc:12
Provide a variadic mul on top of a binary mul(), and one().
Definition: fwd.hh:36
ratexp right_mult_ratexp(const ratexp &exp, const weight &weight)
Bridge.
Definition: left-mult.hh:264
ratexp left_mult_ratexp(const weight &weight, const ratexp &exp)
Bridge.
Definition: left-mult.hh:179