![]() |
Vcsn
2.0
Be Rational
|
#include <unordered_map>#include <vector>#include <vcsn/algos/copy.hh>#include <vcsn/algos/product.hh>#include <vcsn/algos/standard.hh>#include <vcsn/algos/sum.hh>#include <vcsn/core/join.hh>#include <vcsn/core/mutable-automaton.hh>#include <vcsn/core/rat/ratexpset.hh>#include <vcsn/dyn/automaton.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 | |
| FIXME: duplicate code with determinize. | |
| vcsn::dyn::detail | |
Functions | |
| template<typename A , typename B > | |
| A & | vcsn::concatenate_here (A &res, const B &b) |
| Append automaton b to res. More... | |
| template<typename A , typename B > | |
| auto | vcsn::concatenate (const A &lhs, const B &rhs) -> decltype(join_automata(lhs, rhs)) |
| Concatenate two standard automata. More... | |
| template<typename Lhs , typename Rhs > | |
| automaton | vcsn::dyn::detail::concatenate (const automaton &lhs, const automaton &rhs) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (concatenate,(const automaton &, const automaton &) -> automaton) | |
| template<typename Aut > | |
| Aut | vcsn::chain (const Aut &aut, int min, int max) |
| template<typename Aut , typename Int1 , typename Int2 > | |
| automaton | vcsn::dyn::detail::chain (const automaton &a, int min, int max) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (chain,(const automaton &aut, int min, int max) -> automaton) | |
| template<typename ValueSet > | |
| ValueSet::value_t | vcsn::concatenate (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs) |
| Concatenation/product of polynomials/ratexps. More... | |
| template<typename RatExpSetLhs , typename RatExpSetRhs > | |
| ratexp | vcsn::dyn::detail::concatenate_ratexp (const ratexp &lhs, const ratexp &rhs) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (concatenate_ratexp,(const ratexp &, const ratexp &) -> ratexp) | |
| template<typename RatExpSet > | |
| RatExpSet::value_t | vcsn::chain (const RatExpSet &rs, const typename RatExpSet::value_t &r, int min, int max) |
| template<typename RatExpSet , typename Int1 , typename Int2 > | |
| ratexp | vcsn::dyn::detail::chain_ratexp (const ratexp &re, int min, int max) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (chain_ratexp,(const ratexp &, int, int) -> ratexp) | |
| template<typename PolynomialSetLhs , typename PolynomialSetRhs > | |
| polynomial | vcsn::dyn::detail::concatenate_polynomial (const polynomial &lhs, const polynomial &rhs) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (concatenate_polynomial,(const polynomial &, const polynomial &) -> polynomial) | |
| template<typename ValueSet > | |
| ValueSet::value_t | vcsn::multiply (const ValueSet &vs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs) |
| Product of weights. More... | |
| template<typename WeightSetLhs , typename WeightSetRhs > | |
| weight | vcsn::dyn::detail::multiply_weight (const weight &lhs, const weight &rhs) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (multiply_weight,(const weight &, const weight &) -> weight) | |