![]() |
Vcsn
2.0
Be Rational
|
#include <vcsn/algos/constant-term.hh>#include <vcsn/algos/derivation.hh>#include <vcsn/algos/to-expansion.hh>#include <vcsn/algos/split.hh>#include <vcsn/core/mutable-automaton.hh>#include <vcsn/core/ratexp-automaton.hh>#include <vcsn/ctx/fwd.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/polynomial.hh>#include <vcsn/dyn/ratexp.hh>#include <vcsn/misc/raise.hh>#include <vcsn/weightset/polynomialset.hh>Go to the source code of this file.
Classes | |
| struct | vcsn::detail::derived_termer< RatExpSet > |
| Compute the derived-term automaton from an expression. More... | |
Namespaces | |
| vcsn | |
| vcsn::detail | |
| vcsn::dyn | |
| FIXME: duplicate code with determinize. | |
| vcsn::dyn::detail | |
Functions | |
| template<typename RatExpSet > | |
| ratexp_automaton < mutable_automaton< typename RatExpSet::context_t > > | vcsn::derived_term_derivation (const RatExpSet &rs, const typename RatExpSet::value_t &r, bool breaking=false) |
| The derived-term automaton, computed by derivation. More... | |
| template<typename RatExpSet > | |
| ratexp_automaton < mutable_automaton< typename RatExpSet::context_t > > | vcsn::derived_term_expansion (const RatExpSet &rs, const typename RatExpSet::value_t &r, bool breaking=false) |
| The derived-term automaton, computed by expansion. More... | |
| template<typename RatExpSet , typename String > | |
| std::enable_if < RatExpSet::context_t::labelset_t::is_free(), automaton >::type | vcsn::dyn::detail::derived_term (const ratexp &exp, const std::string &algo) |
| Bridge. More... | |
| template<typename RatExpSet , typename String > | |
| std::enable_if <!RatExpSet::context_t::labelset_t::is_free(), automaton >::type | vcsn::dyn::detail::derived_term (const ratexp &exp, const std::string &algo) |
| Bridge. More... | |
| vcsn::dyn::detail::REGISTER_DECLARE (derived_term,(const ratexp &e, const std::string &algo) -> automaton) | |