derivation.hh File Reference

#include <vcsn/algos/constant-term.hh>
#include <vcsn/algos/split.hh>
#include <vcsn/core/rat/visitor.hh>
#include <vcsn/ctx/fwd.hh>
#include <vcsn/dyn/label.hh>
#include <vcsn/dyn/polynomial.hh>
#include <vcsn/dyn/ratexp.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>

Include dependency graph for derivation.hh:

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

Go to the source code of this file.

Classes
class	vcsn::rat::derivation_visitor< RatExpSet >

Namespaces
	vcsn
	vcsn::rat
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

Functions
template<typename RatExpSet >
rat::ratexp_polynomial_t < RatExpSet >	vcsn::derivation (const RatExpSet &rs, const typename RatExpSet::value_t &e, label_t_of< RatExpSet > a, bool breaking=false)
	Derive a ratexp wrt to a letter. More...
template<typename RatExpSet >
rat::ratexp_polynomial_t < RatExpSet >	vcsn::derivation (const RatExpSet &rs, const rat::ratexp_polynomial_t< RatExpSet > &p, label_t_of< RatExpSet > a, bool breaking=false)
	Derive a polynomial of ratexps wrt to a letter. More...
template<typename RatExpSet >
rat::ratexp_polynomial_t < RatExpSet >	vcsn::derivation (const RatExpSet &rs, const typename RatExpSet::value_t &e, const typename RatExpSet::labelset_t::word_t &l, bool breaking=false)
	Derive a ratexp wrt to a word. More...
template<typename RatExpSet , typename Label , typename Bool >
polynomial	vcsn::dyn::detail::derivation (const ratexp &exp, const label &lbl, bool breaking=false)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (derivation,(const ratexp &e, const label &l, bool breaking) -> polynomial)