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) | |