Vcsn
2.0
Be Rational
|
#include <vcsn/core/rat/visitor.hh>
#include <vcsn/ctx/fwd.hh>
#include <vcsn/dyn/polynomial.hh>
#include <vcsn/dyn/ratexp.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>
Go to the source code of this file.
Classes | |
class | vcsn::rat::split_visitor< RatExpSet > |
Break a rational expression into a polynomial. More... | |
Namespaces | |
vcsn | |
vcsn::rat | |
vcsn::dyn | |
FIXME: duplicate code with determinize. | |
vcsn::dyn::detail | |
Typedefs | |
template<typename RatExpSet > | |
using | vcsn::rat::ratexp_polynomialset_t = polynomialset< context< RatExpSet, weightset_t_of< RatExpSet >>> |
Type of PolynomialSet of RatExps from the RatExpSet type. More... | |
template<typename RatExpSet > | |
using | vcsn::rat::ratexp_polynomial_t = typename ratexp_polynomialset_t< RatExpSet >::value_t |
Type of polynomials of ratexps from the RatExpSet type. More... | |
Functions | |
template<typename RatExpSet > | |
ratexp_polynomialset_t< RatExpSet > | vcsn::rat::make_ratexp_polynomialset (const RatExpSet &rs) |
From a RatExpSet to its polynomialset. More... | |
template<typename RatExpSet > | |
rat::ratexp_polynomial_t < RatExpSet > | vcsn::split (const RatExpSet &rs, const typename RatExpSet::value_t &e) |
Split a ratexp. More... | |
template<typename RatExpSet > | |
polynomial | vcsn::dyn::detail::split (const ratexp &exp) |
Bridge. More... | |
vcsn::dyn::detail::REGISTER_DECLARE (split,(const ratexp &e) -> polynomial) | |
template<typename RatExpSet > | |
rat::ratexp_polynomial_t < RatExpSet > | vcsn::split (const RatExpSet &rs, const rat::ratexp_polynomial_t< RatExpSet > &p) |
Split a polynomial of ratexps. More... | |
template<typename PolynomialSet > | |
PolynomialSet::value_t | vcsn::split_polynomial (const PolynomialSet &ps, const typename PolynomialSet::value_t &p) |
Split a polynomial of ratexps. More... | |
template<typename PolynomialSet > | |
polynomial | vcsn::dyn::detail::split_polynomial (const polynomial &poly) |
Bridge. More... | |
vcsn::dyn::detail::REGISTER_DECLARE (split_polynomial,(const polynomial &p) -> polynomial) | |