Vcsn
2.1
Be Rational
|
#include <map>
#include <vcsn/algos/standard.hh>
#include <vcsn/core/join-automata.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/expression.hh>
#include <vcsn/dyn/polynomial.hh>
#include <vcsn/dyn/weight.hh>
#include <vcsn/misc/raise.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
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... | |
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 (sum). More... | |
template<typename ExpSetLhs , typename ExpSetRhs > | |
expression | vcsn::dyn::detail::sum_expression (const expression &lhs, const expression &rhs) |
Bridge (sum). More... | |
template<typename WeightSetLhs , typename WeightSetRhs > | |
weight | vcsn::dyn::detail::sum_weight (const weight &lhs, const weight &rhs) |
Bridge (sum). More... | |