![]() |
Vcsn
2.3a
Be Rational
|
#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>
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... | |