![]() |
Vcsn
2.2
Be Rational
|
#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/expression.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>
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>> ::value>> | |
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... | |