add.hh File Reference

#include <map>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/algos/tags.hh>
#include <vcsn/core/join-automata.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/misc/raise.hh>

Include dependency graph for add.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Functions
template<Automaton Aut1, Automaton Aut2>
Aut1 &	vcsn::add_here (Aut1 &res, const Aut2 &b, standard_tag)
	Merge transitions of b into those of res. More...
template<Automaton Aut1, Automaton Aut2>
auto	vcsn::add_here (Aut1 &res, const Aut2 &b, deterministic_tag)
template<Automaton Aut1, Automaton Aut2>
auto	vcsn::add (const Aut1 &lhs, const Aut2 &rhs, deterministic_tag)
template<Automaton Aut1, Automaton Aut2>
Aut1 &	vcsn::add_here (Aut1 &res, const Aut2 &b, general_tag)
	Merge transitions of b into those of res. More...
template<Automaton Aut1, Automaton Aut2, typename Tag = general_tag>
auto	vcsn::add (const Aut1 &lhs, const Aut2 &rhs, Tag tag={}) -> decltype(join_automata(lhs, rhs))
	The sum of two automata. More...
template<Automaton Lhs, Automaton Rhs, typename String >
automaton	vcsn::dyn::detail::add (const automaton &lhs, const automaton &rhs, const std::string &algo)
	Bridge. More...
template<typename ValueSet >
ValueSet::value_t	vcsn::add (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs)
	Sums of values. More...
template<typename ExpansionSetLhs , typename ExpansionSetRhs >
expansion	vcsn::dyn::detail::add_expansion (const expansion &lhs, const expansion &rhs)
	Bridge (add). More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	vcsn::dyn::detail::add_expression (const expression &lhs, const expression &rhs)
	Bridge (add). More...
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial	vcsn::dyn::detail::add_polynomial (const polynomial &lhs, const polynomial &rhs)
	Bridge (add). More...
template<typename WeightSetLhs , typename WeightSetRhs >
weight	vcsn::dyn::detail::add_weight (const weight &lhs, const weight &rhs)
	Bridge (add). More...