Vcsn  2.3
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
vcsn::rat::split_visitor< ExpSet > Class Template Reference

Break a rational expression into a polynomial. More...

#include <split.hh>

Inheritance diagram for vcsn::rat::split_visitor< ExpSet >:
Collaboration diagram for vcsn::rat::split_visitor< ExpSet >:

Public Types

using expressionset_t = ExpSet
 
using context_t = context_t_of< expressionset_t >
 
using labelset_t = labelset_t_of< context_t >
 
using label_t = label_t_of< context_t >
 
using expression_t = typename expressionset_t::value_t
 
using weightset_t = weightset_t_of< expressionset_t >
 
using weight_t = typename weightset_t::value_t
 
using polynomialset_t = expression_polynomialset_t< expressionset_t >
 
using polynomial_t = typename polynomialset_t::value_t
 
using super_t = typename expressionset_t::const_visitor
 
using tuple_t = typename super_t::tuple_t
 

Public Member Functions

 split_visitor (const expressionset_t &rs)
 
polynomial_t operator() (const expression_t &v)
 Break an expression into a polynomial. More...
 
polynomial_t split (const expression_t &v)
 Easy recursion. More...
 
 VCSN_RAT_VISIT (zero,)
 
 VCSN_RAT_VISIT (one,)
 
 VCSN_RAT_VISIT (atom, e)
 
 VCSN_RAT_VISIT (add, e)
 
polynomial_t product (const expression_t &l, const expression_t &r)
 The split-product of l with r. More...
 
polynomial_t product (const polynomial_t &l, const expression_t &r)
 The split-product of l with r. More...
 
 VCSN_RAT_VISIT (mul, e)
 Handle an n-ary product. More...
 
polynomial_t conjunction (const expression_t &l, const expression_t &r)
 The split-product of l with r. More...
 
polynomial_t conjunction (const polynomial_t &l, const expression_t &r)
 The split-product of l with r. More...
 
 VCSN_RAT_VISIT (conjunction, e)
 Handle an n-ary conjunction. More...
 
void visit (const tuple_t &, std::true_type) override
 
 VCSN_RAT_VISIT (star, e)
 
 VCSN_RAT_VISIT (lweight, e)
 
 VCSN_RAT_VISIT (rweight, e)
 

Static Public Member Functions

static constexpr const char * me ()
 Name of this algorithm, for error messages. More...
 

Private Attributes

expressionset_t rs_
 
weightset_t ws_ = *rs_.weightset()
 Shorthand to the weightset. More...
 
polynomialset_t ps_ = make_expression_polynomialset(rs_)
 
polynomial_t res_
 The result. More...
 

Detailed Description

template<typename ExpSet>
class vcsn::rat::split_visitor< ExpSet >

Break a rational expression into a polynomial.

This is based on the following paper: 

/// @article{angrand.2010.jalc,
///   author =       {Pierre-Yves Angrand and Sylvain Lombardy and Jacques
///                   Sakarovitch},
///   journal =      {Journal of Automata, Languages and Combinatorics},
///   number =       {1/2},
///   pages =        {27--51},
///   title =        {On the Number of Broken Derived Terms of a Rational
///                   Expression},
///   volume =       15,
///   year =         2010,
///   abstract =     {Bounds are given on the number of broken derived
///                   terms (a variant of Antimirov's ``partial
///                   derivatives'') of a rational expression $E$. It is
///                   shown that this number is less than or equal to
///                   $2l(E) + 1$ in the general case, where $l(E)$ is the
///                   literal length of the expression $E$, and that the
///                   classical bound $l(E) + 1$ which holds for partial
///                   derivatives also holds for broken derived terms if E
///                   is in star normal form.\\In a second part of the
///                   paper, the influence of the bracketing of an
///                   expression on the number of its derived terms is
///                   also discussed.}
/// }
///

Definition at line 75 of file split.hh.

Member Typedef Documentation

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::context_t = context_t_of<expressionset_t>

Definition at line 80 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::expression_t = typename expressionset_t::value_t

Definition at line 83 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::expressionset_t = ExpSet

Definition at line 79 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::label_t = label_t_of<context_t>

Definition at line 82 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::labelset_t = labelset_t_of<context_t>

Definition at line 81 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::polynomial_t = typename polynomialset_t::value_t

Definition at line 88 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::polynomialset_t = expression_polynomialset_t<expressionset_t>

Definition at line 87 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 90 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::tuple_t = typename super_t::tuple_t

Definition at line 226 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::weight_t = typename weightset_t::value_t

Definition at line 85 of file split.hh.

template<typename ExpSet >
using vcsn::rat::split_visitor< ExpSet >::weightset_t = weightset_t_of<expressionset_t>

Definition at line 84 of file split.hh.

Constructor & Destructor Documentation

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::split_visitor ( const expressionset_t &  rs)
inline

Definition at line 95 of file split.hh.

Member Function Documentation

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::conjunction ( const expression_t &  l,
const expression_t &  r 
)
inline

The split-product of l with r.

Returns split(l) x split(r). FIXME: This is inefficient, we split the lhs way too often.

Definition at line 180 of file split.hh.

References vcsn::label_of(), vcsn::rat::split_visitor< ExpSet >::ps_, vcsn::res, vcsn::rat::split_visitor< ExpSet >::rs_, vcsn::rat::split_visitor< ExpSet >::split(), and vcsn::weight_of().

Referenced by vcsn::rat::split_visitor< ExpSet >::conjunction(), and vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

Here is the call graph for this function:

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::conjunction ( const polynomial_t &  l,
const expression_t &  r 
)
inline

The split-product of l with r.

Returns l x split(r).

Definition at line 202 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::conjunction(), vcsn::label_of(), vcsn::rat::split_visitor< ExpSet >::ps_, vcsn::res, and vcsn::weight_of().

Here is the call graph for this function:

template<typename ExpSet >
static constexpr const char* vcsn::rat::split_visitor< ExpSet >::me ( )
inlinestatic

Name of this algorithm, for error messages.

Definition at line 93 of file split.hh.

Referenced by vcsn::rat::split_visitor< ExpSet >::visit().

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::operator() ( const expression_t &  v)
inline

Break an expression into a polynomial.

Definition at line 100 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::split().

Here is the call graph for this function:

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::product ( const expression_t &  l,
const expression_t &  r 
)
inline

The split-product of l with r.

Returns split(l) x split(r). FIXME: This is inefficient, we split the lhs way too often.

Definition at line 142 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::ps_, vcsn::rat::split_visitor< ExpSet >::rs_, and vcsn::rat::split_visitor< ExpSet >::split().

Referenced by vcsn::rat::split_visitor< ExpSet >::product(), and vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

Here is the call graph for this function:

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::product ( const polynomial_t &  l,
const expression_t &  r 
)
inline

The split-product of l with r.

Returns l x split(r).

Definition at line 159 of file split.hh.

References vcsn::label_of(), vcsn::rat::split_visitor< ExpSet >::product(), vcsn::rat::split_visitor< ExpSet >::ps_, vcsn::res, and vcsn::weight_of().

Here is the call graph for this function:

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::split ( const expression_t &  v)
inline

Easy recursion.

Definition at line 106 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::res_.

Referenced by vcsn::rat::split_visitor< ExpSet >::conjunction(), vcsn::rat::split_visitor< ExpSet >::operator()(), and vcsn::rat::split_visitor< ExpSet >::product().

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( zero  )
inline

Definition at line 112 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::ps_, and vcsn::rat::split_visitor< ExpSet >::res_.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( one  )
inline

Definition at line 117 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::res_, vcsn::rat::split_visitor< ExpSet >::rs_, and vcsn::rat::split_visitor< ExpSet >::ws_.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( atom  ,
e   
)
inline

Definition at line 122 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::res_, vcsn::rat::split_visitor< ExpSet >::rs_, and vcsn::rat::split_visitor< ExpSet >::ws_.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( add  ,
e   
)
inline

Definition at line 127 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::ps_, vcsn::res, vcsn::rat::split_visitor< ExpSet >::res_, and vcsn::v.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( mul  ,
e   
)
inline

Handle an n-ary product.

Definition at line 168 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::product(), vcsn::res, and vcsn::rat::split_visitor< ExpSet >::res_.

Here is the call graph for this function:

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( conjunction  ,
e   
)
inline

Handle an n-ary conjunction.

Definition at line 211 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::conjunction(), vcsn::res, and vcsn::rat::split_visitor< ExpSet >::res_.

Here is the call graph for this function:

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( star  ,
e   
)
inline

Definition at line 232 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::res_, and vcsn::rat::split_visitor< ExpSet >::ws_.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( lweight  ,
e   
)
inline

Definition at line 237 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::ps_, and vcsn::rat::split_visitor< ExpSet >::res_.

template<typename ExpSet >
vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT ( rweight  ,
e   
)
inline

Definition at line 243 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::ps_, and vcsn::rat::split_visitor< ExpSet >::res_.

template<typename ExpSet >
void vcsn::rat::split_visitor< ExpSet >::visit ( const tuple_t &  ,
std::true_type   
)
inlineoverride

Definition at line 227 of file split.hh.

References vcsn::rat::split_visitor< ExpSet >::me().

Here is the call graph for this function:

Member Data Documentation

template<typename ExpSet >
polynomialset_t vcsn::rat::split_visitor< ExpSet >::ps_ = make_expression_polynomialset(rs_)
private

Definition at line 253 of file split.hh.

Referenced by vcsn::rat::split_visitor< ExpSet >::conjunction(), vcsn::rat::split_visitor< ExpSet >::product(), and vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

template<typename ExpSet >
polynomial_t vcsn::rat::split_visitor< ExpSet >::res_
private

The result.

Definition at line 255 of file split.hh.

Referenced by vcsn::rat::split_visitor< ExpSet >::split(), and vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

template<typename ExpSet >
expressionset_t vcsn::rat::split_visitor< ExpSet >::rs_
private

Definition at line 250 of file split.hh.

Referenced by vcsn::rat::split_visitor< ExpSet >::conjunction(), vcsn::rat::split_visitor< ExpSet >::product(), and vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

template<typename ExpSet >
weightset_t vcsn::rat::split_visitor< ExpSet >::ws_ = *rs_.weightset()
private

Shorthand to the weightset.

Definition at line 252 of file split.hh.

Referenced by vcsn::rat::split_visitor< ExpSet >::VCSN_RAT_VISIT().

The documentation for this class was generated from the following file: