split.hh File Reference

#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 split.hh:

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

Go to the source code of this file.

Classes
class	vcsn::rat::split_visitor< ExpSet >
	Break a rational expression into a polynomial. More...

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

Macros
#define	DEFINE(Type)
	These are just propagated as monomials. More...

Typedefs
template<typename ExpSet >
using	vcsn::rat::expression_polynomialset_t = polynomialset< context< ExpSet, weightset_t_of< ExpSet > >>
	Type of PolynomialSet of expressions from the ExpSet type. More...
template<typename ExpSet >
using	vcsn::rat::expression_polynomial_t = typename expression_polynomialset_t< ExpSet >::value_t
	Type of polynomials of expressions from the ExpSet type. More...

Functions
template<typename ExpSet >
expression_polynomialset_t< ExpSet >	vcsn::rat::make_expression_polynomialset (const ExpSet &rs)
	From a ExpSet to its polynomialset. More...
template<typename ExpSet >
rat::expression_polynomial_t< ExpSet >	vcsn::split (const ExpSet &rs, const typename ExpSet::value_t &e)
	Split an expression. More...
template<typename ExpSet >
polynomial	vcsn::dyn::detail::split (const expression &exp)
	Bridge. More...
template<typename PolynomialSet >
PolynomialSet::value_t	vcsn::split_polynomial (const PolynomialSet &ps, const typename PolynomialSet::value_t &p)
	Split a polynomial of expressions, given the polynomialset. More...
template<typename ExpSet >
rat::expression_polynomial_t< ExpSet >	vcsn::split (const ExpSet &rs, const rat::expression_polynomial_t< ExpSet > &p)
	Split a polynomial of expressions, given the expressionset. More...
template<typename PolynomialSet >
polynomial	vcsn::dyn::detail::split_polynomial (const polynomial &poly)
	Bridge (split). More...

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

Value:

VCSN_RAT_VISIT(Type, e)                                   \
      {                                                         \
        res_ = polynomial_t{{e.shared_from_this(), ws_.one()}}; \
      }

These are just propagated as monomials.

Definition at line 177 of file split.hh.