Vcsn  2.3
Be Rational
derivation.hh File Reference
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...