Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
sum.cc
Go to the documentation of this file.
2 #include <vcsn/dyn/ratexp.hh>
3 #include <vcsn/algos/sum.hh>
4 #include <vcsn/dyn/algos.hh>
5 
6 namespace vcsn
7 {
8  namespace dyn
9  {
10  REGISTER_DEFINE(sum);
11 
12  automaton
13  sum(const automaton& lhs, const automaton& rhs)
14  {
15  return detail::sum_registry().call(lhs, rhs);
16  }
17 
18  REGISTER_DEFINE(sum_polynomial);
20  sum(const polynomial& lhs, const polynomial& rhs)
21  {
22  return detail::sum_polynomial_registry().call(lhs, rhs);
23  }
24 
25  REGISTER_DEFINE(sum_ratexp);
26  ratexp
27  sum(const ratexp& lhs, const ratexp& rhs)
28  {
29  return detail::sum_ratexp_registry().call(lhs, rhs);
30  }
31 
32  REGISTER_DEFINE(sum_weight);
33  weight
34  sum(const weight& lhs, const weight& rhs)
35  {
36  return detail::sum_weight_registry().call(lhs, rhs);
37  }
38  }
39 }
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
polynomial sum_polynomial(const polynomial &lhs, const polynomial &rhs)
Bridge.
Definition: sum.hh:119
std::shared_ptr< const detail::weight_base > weight
Definition: fwd.hh:82
std::shared_ptr< detail::ratexp_base > ratexp
Definition: fwd.hh:64
weight sum_weight(const weight &lhs, const weight &rhs)
Bridge.
Definition: sum.hh:173
automaton sum(const automaton &lhs, const automaton &rhs)
Sum of two standard automata.
Definition: sum.cc:13
std::shared_ptr< const detail::polynomial_base > polynomial
Definition: fwd.hh:55
ratexp sum_ratexp(const ratexp &lhs, const ratexp &rhs)
Bridge.
Definition: sum.hh:146