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/value.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< ExpSet >
	Functor to compute the derivation of an expression. More...
struct	vcsn::rat::derivation_visitor< ExpSet >::visit_tuple< bool, Dummy >
struct	vcsn::rat::derivation_visitor< ExpSet >::visit_tuple< false, Dummy >

Namespaces
	vcsn
	vcsn::rat
	vcsn::dyn
	vcsn::dyn::detail

Functions
template<typename ExpSet >
rat::expression_polynomial_t< ExpSet >	vcsn::derivation (const ExpSet &rs, const typename ExpSet::value_t &e, label_t_of< ExpSet > a, bool breaking)
	Derive an expression wrt to a letter. More...
template<typename ExpSet >
rat::expression_polynomial_t< ExpSet >	vcsn::derivation (const ExpSet &rs, const rat::expression_polynomial_t< ExpSet > &p, label_t_of< ExpSet > a, bool breaking=false)
	Derive a polynomial of expressions wrt to a letter. More...
template<typename ExpSet , typename = std::enable_if_t<!std::is_same<word_t_of<ExpSet>, label_t_of<ExpSet>>{}>>
rat::expression_polynomial_t< ExpSet >	vcsn::derivation (const ExpSet &rs, const typename ExpSet::value_t &e, const word_t_of< ExpSet > &l, bool breaking=false)
	Derive an expression wrt to a word. More...
template<typename ExpSet , typename Label , typename Bool >
polynomial	vcsn::dyn::detail::derivation (const expression &exp, const label &lbl, bool breaking)
	Bridge. More...