Vcsn
2.0
Be Rational
|
#include <transpose.hh>
Public Types | |
using | ratexpset_t = RatExpSet |
using | ratexp_t = typename ratexpset_t::value_t |
using | super_t = typename ratexpset_t::const_visitor |
Public Member Functions | |
transposer (const ratexpset_t &rs) | |
ratexp_t | operator() (const ratexp_t &e) |
ratexp_t | transpose (const ratexp_t &e) |
VCSN_RAT_VISIT (zero,) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (atom, e) | |
VCSN_RAT_VISIT (sum, e) | |
VCSN_RAT_VISIT (conjunction, e) | |
VCSN_RAT_VISIT (shuffle, e) | |
VCSN_RAT_VISIT (prod, e) | |
VCSN_RAT_VISIT (star, e) | |
VCSN_RAT_VISIT (complement, e) | |
VCSN_RAT_VISIT (transposition, e) | |
VCSN_RAT_VISIT (ldiv, e) | |
VCSN_RAT_VISIT (lweight, e) | |
VCSN_RAT_VISIT (rweight, e) | |
Private Attributes | |
ratexpset_t | rs_ |
ratexp_t | res_ |
RatExpSet | the ratexp set. |
Definition at line 18 of file transpose.hh.
using vcsn::detail::transposer< RatExpSet >::ratexp_t = typename ratexpset_t::value_t |
Definition at line 23 of file transpose.hh.
using vcsn::detail::transposer< RatExpSet >::ratexpset_t = RatExpSet |
Definition at line 22 of file transpose.hh.
using vcsn::detail::transposer< RatExpSet >::super_t = typename ratexpset_t::const_visitor |
Definition at line 24 of file transpose.hh.
|
inline |
Definition at line 26 of file transpose.hh.
|
inline |
Definition at line 32 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_.
|
inline |
Definition at line 39 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_.
Referenced by vcsn::detail::transposer< RatExpSet >::VCSN_RAT_VISIT().
|
inline |
Definition at line 48 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, and vcsn::detail::transposer< RatExpSet >::rs_.
|
inline |
Definition at line 53 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, and vcsn::detail::transposer< RatExpSet >::rs_.
|
inline |
Definition at line 58 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, and vcsn::detail::transposer< RatExpSet >::rs_.
|
inline |
Definition at line 63 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 70 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 77 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 85 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 92 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 97 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 102 of file transpose.hh.
References vcsn::rat::ldiv, vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::rat::transposition.
|
inline |
Definition at line 126 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, and vcsn::detail::transposer< RatExpSet >::rs_.
|
inline |
Definition at line 133 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
inline |
Definition at line 139 of file transpose.hh.
References vcsn::detail::transposer< RatExpSet >::res_, vcsn::detail::transposer< RatExpSet >::rs_, and vcsn::detail::transposer< RatExpSet >::transpose().
|
private |
Definition at line 148 of file transpose.hh.
Referenced by vcsn::detail::transposer< RatExpSet >::operator()(), vcsn::detail::transposer< RatExpSet >::transpose(), and vcsn::detail::transposer< RatExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 147 of file transpose.hh.
Referenced by vcsn::detail::transposer< RatExpSet >::VCSN_RAT_VISIT().