Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
sum.hh File Reference
#include <map>
#include <vcsn/algos/product.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/polynomial.hh>
#include <vcsn/dyn/ratexp.hh>
#include <vcsn/dyn/weight.hh>
#include <vcsn/misc/raise.hh>
Include dependency graph for sum.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 FIXME: duplicate code with determinize.
 
 vcsn::dyn::detail
 

Functions

template<typename A , typename B >
A & vcsn::sum_here (A &res, const B &b)
 Merge transitions of b into those of res. More...
 
template<typename A , typename B >
auto vcsn::sum (const A &lhs, const B &rhs) -> decltype(join_automata(lhs, rhs))
 
template<typename Lhs , typename Rhs >
automaton vcsn::dyn::detail::sum (const automaton &lhs, const automaton &rhs)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (sum,(const automaton &, const automaton &) -> automaton)
 
template<typename ValueSet >
ValueSet::value_t vcsn::sum (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs)
 Sums of values. More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::sum_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (sum_polynomial,(const polynomial &, const polynomial &) -> polynomial)
 
template<typename RatExpSetLhs , typename RatExpSetRhs >
ratexp vcsn::dyn::detail::sum_ratexp (const ratexp &lhs, const ratexp &rhs)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (sum_ratexp,(const ratexp &, const ratexp &) -> ratexp)
 
template<typename WeightSetLhs , typename WeightSetRhs >
weight vcsn::dyn::detail::sum_weight (const weight &lhs, const weight &rhs)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (sum_weight,(const weight &, const weight &) -> weight)