![]() |
Vcsn
2.3a
Be Rational
|
Functor to compute the expansion of an expression. More...
#include <to-expansion.hh>
Classes | |
struct | visit_tuple |
struct | visit_tuple< false, Dummy > |
Public Types | |
using | expressionset_t = ExpSet |
using | super_t = typename expressionset_t::const_visitor |
using | self_t = to_expansion_visitor |
using | context_t = context_t_of< expressionset_t > |
using | labelset_t = labelset_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 | expansionset_t = expansionset< expressionset_t > |
using | polynomialset_t = expression_polynomialset_t< expressionset_t > |
using | polynomial_t = typename polynomialset_t::value_t |
using | polys_t = typename expansionset_t::polys_t |
using | expansion_t = typename expansionset_t::value_t |
Public Member Functions | |
to_expansion_visitor (const expressionset_t &rs) | |
expansion_t | operator() (const expression_t &v) |
From an expression, build its expansion. More... | |
Static Public Member Functions | |
static constexpr const char * | me () |
Private Types | |
using | tuple_t = typename super_t::tuple_t |
Private Member Functions | |
expansion_t | to_expansion (const expression_t &e) |
Facilitate recursion. More... | |
std::ostream & | print_ (const expansion_t &v, std::ostream &o) const |
Print an expansion. More... | |
VCSN_RAT_VISIT (zero,) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (atom, e) | |
VCSN_RAT_VISIT (add, e) | |
VCSN_RAT_VISIT (mul, e) | |
expression_t | prod_ (typename mul_t::iterator begin, typename mul_t::iterator end) const |
Build a product for these expressions. More... | |
VCSN_RAT_VISIT (ldivide, e) | |
VCSN_RAT_VISIT (conjunction, e) | |
d(E&F) = d(E) & d(F). More... | |
VCSN_RAT_VISIT (shuffle, e) | |
d(E:F) = d(E):F + E:d(F) dᵗ(E:F) = dᵗ(E):Fᵗ + Eᵗ:dᵗ(F) More... | |
VCSN_RAT_VISIT (infiltrate, e) | |
d(E&:F) = d(E)&:F + d(E)&:d(F) + E&:d(F) dᵗ(E&:F) = dᵗ(E)&:Fᵗ + dᵗ(E)&:dᵗ(F) + Eᵗ&:dᵗ(F) More... | |
VCSN_RAT_VISIT (complement, e) | |
VCSN_RAT_VISIT (transposition, e) | |
d(Eᵗ) = dᵗ(E) More... | |
VCSN_RAT_VISIT (star, e) | |
VCSN_RAT_VISIT (lweight, e) | |
VCSN_RAT_VISIT (rweight, e) | |
void | visit (const tuple_t &v, std::true_type) override |
VCSN_RAT_VISIT (compose, e) | |
template<typename Exp = expansion_t> | |
auto | compose (const compose_t &e, int) -> decltype(std::declval< expansionset_t >() .compose(std::declval< Exp >(), std::declval< Exp >()), void()) |
auto | compose (const compose_t &, long) -> void |
Private Attributes | |
expressionset_t | rs_ |
Manipulate the expressions. More... | |
labelset_t | ls_ = *rs_.labelset() |
Manipulate the labels. More... | |
weightset_t | ws_ = *rs_.weightset() |
Manipulate the weights. More... | |
polynomialset_t | ps_ = make_expression_polynomialset(rs_) |
Manipulate the polynomials of expressions. More... | |
expansionset_t | xs_ = {rs_} |
Manipulate the expansions. More... | |
bool | transposed_ = false |
Whether to work transposed. More... | |
expansion_t | res_ |
The result. More... | |
Functor to compute the expansion of an expression.
ExpSet | the expressionset type. |
Definition at line 39 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::context_t = context_t_of<expressionset_t> |
Definition at line 47 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::expansion_t = typename expansionset_t::value_t |
Definition at line 60 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::expansionset_t = expansionset<expressionset_t> |
Definition at line 52 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::expression_t = typename expressionset_t::value_t |
Definition at line 49 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::expressionset_t = ExpSet |
Definition at line 43 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::labelset_t = labelset_t_of<context_t> |
Definition at line 48 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::polynomial_t = typename polynomialset_t::value_t |
Definition at line 55 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::polynomialset_t = expression_polynomialset_t<expressionset_t> |
Definition at line 54 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::polys_t = typename expansionset_t::polys_t |
Definition at line 59 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::self_t = to_expansion_visitor |
Definition at line 45 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 44 of file to-expansion.hh.
|
private |
Definition at line 331 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::weight_t = typename weightset_t::value_t |
Definition at line 51 of file to-expansion.hh.
using vcsn::rat::to_expansion_visitor< ExpSet >::weightset_t = weightset_t_of<expressionset_t> |
Definition at line 50 of file to-expansion.hh.
|
inline |
Definition at line 62 of file to-expansion.hh.
|
inlineprivate |
Definition at line 376 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
inlineprivate |
Definition at line 386 of file to-expansion.hh.
|
inlinestatic |
Definition at line 57 of file to-expansion.hh.
|
inline |
From an expression, build its expansion.
Definition at line 67 of file to-expansion.hh.
|
inlineprivate |
Print an expansion.
Definition at line 128 of file to-expansion.hh.
|
inlineprivate |
Build a product for these expressions.
Pay attention to not building products with 0 or 1 expression.
FIXME: Code duplication with derivation.
Definition at line 210 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
inlineprivate |
Facilitate recursion.
Saves and restore res_.
Definition at line 90 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::compose(), and vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
inlineprivate |
Definition at line 137 of file to-expansion.hh.
|
inlineprivate |
Definition at line 142 of file to-expansion.hh.
|
inlineprivate |
Definition at line 147 of file to-expansion.hh.
|
inlineprivate |
Definition at line 154 of file to-expansion.hh.
|
inlineprivate |
Definition at line 161 of file to-expansion.hh.
|
inlineprivate |
Definition at line 222 of file to-expansion.hh.
|
inlineprivate |
d(E&F) = d(E) & d(F).
Definition at line 236 of file to-expansion.hh.
|
inlineprivate |
d(E:F) = d(E):F + E:d(F) dᵗ(E:F) = dᵗ(E):Fᵗ + Eᵗ:dᵗ(F)
Definition at line 245 of file to-expansion.hh.
|
inlineprivate |
d(E&:F) = d(E)&:F + d(E)&:d(F) + E&:d(F) dᵗ(E&:F) = dᵗ(E)&:Fᵗ + dᵗ(E)&:dᵗ(F) + Eᵗ&:dᵗ(F)
Definition at line 263 of file to-expansion.hh.
|
inlineprivate |
Definition at line 281 of file to-expansion.hh.
|
inlineprivate |
d(Eᵗ) = dᵗ(E)
Definition at line 287 of file to-expansion.hh.
|
inlineprivate |
Definition at line 294 of file to-expansion.hh.
|
inlineprivate |
Definition at line 311 of file to-expansion.hh.
|
inlineprivate |
Definition at line 321 of file to-expansion.hh.
|
inlineprivate |
Definition at line 370 of file to-expansion.hh.
|
inlineoverrideprivate |
Definition at line 364 of file to-expansion.hh.
|
private |
Manipulate the labels.
Definition at line 396 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
private |
Manipulate the polynomials of expressions.
Definition at line 400 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
private |
The result.
Definition at line 407 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::compose(), vcsn::rat::to_expansion_visitor< expressionset_t >::operator()(), vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT(), and vcsn::rat::to_expansion_visitor< expressionset_t >::visit().
|
private |
Manipulate the expressions.
Definition at line 394 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::operator()(), vcsn::rat::to_expansion_visitor< expressionset_t >::prod_(), vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT(), and vcsn::rat::to_expansion_visitor< ExpSet >::visit_tuple< bool, Dummy >::work_().
|
private |
Whether to work transposed.
Definition at line 405 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::print_(), and vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
private |
Manipulate the weights.
Definition at line 398 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT().
|
private |
Manipulate the expansions.
Definition at line 402 of file to-expansion.hh.
Referenced by vcsn::rat::to_expansion_visitor< expressionset_t >::compose(), vcsn::rat::to_expansion_visitor< expressionset_t >::operator()(), vcsn::rat::to_expansion_visitor< expressionset_t >::print_(), vcsn::rat::to_expansion_visitor< expressionset_t >::VCSN_RAT_VISIT(), and vcsn::rat::to_expansion_visitor< ExpSet >::visit_tuple< bool, Dummy >::work_().