vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions > Struct Template Reference

Denormalize a pack of one-tape expansions. More...

#include <expansionset.hh>

Collaboration diagram for vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >:

Public Member Functions
template<size_t Tape>
auto	denormalize_tape (const typename project_t< Tape >::value_t &e) const -> typename project_t< Tape >::polys_t
	Denormalize on this tape: from expansion to pure polynomial. More...
template<size_t... Tape>
auto	denormalize (std::tuple< const Expansions &... > &es, detail::index_sequence< Tape... >) const -> std::tuple< typename project_t< Tape >::polys_t... >
	Denormalize on all these tapes. More...
auto	denormalize (const Expansions &... es) const
	Entry point: Denormalize all these expansions. More...
auto	tuple (Expansions &&... es) const -> value_t

Public Attributes
const expansionset &	eset_

Detailed Description

template<typename ExpSet>
template<typename... Expansions>
struct vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >

Denormalize a pack of one-tape expansions.

Definition at line 653 of file expansionset.hh.

Member Function Documentation

denormalize() [1/2]

template<typename ExpSet>

template<typename... Expansions>

template<size_t... Tape>

auto vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize ( std::tuple< const Expansions &... > &  es, detail::index_sequence< Tape... >    ) const -> std::tuple<typename project_t<Tape>::polys_t...>

inline

Denormalize on all these tapes.

Definition at line 673 of file expansionset.hh.

Referenced by vcsn::rat::expansionset< expressionset_t >::compose(), vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize(), and vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::tuple().

denormalize() [2/2]

template<typename ExpSet>

template<typename... Expansions>

auto vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize ( const Expansions &...  es ) const

inline

Entry point: Denormalize all these expansions.

Definition at line 682 of file expansionset.hh.

References vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize(), and vcsn::rat::tuple.

Here is the call graph for this function:

denormalize_tape()

template<typename ExpSet>

template<typename... Expansions>

template<size_t Tape>

auto vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize_tape ( const typename project_t< Tape >::value_t &  e ) const -> typename project_t<Tape>::polys_t

inline

Denormalize on this tape: from expansion to pure polynomial.

Definition at line 658 of file expansionset.hh.

References vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::eset_, vcsn::rat::expansionset< ExpSet >::res, vcsn::rat::to_string(), and VCSN_REQUIRE.

Here is the call graph for this function:

tuple()

template<typename ExpSet>

template<typename... Expansions>

auto vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::tuple ( Expansions &&...  es ) const -> value_t

inline

Definition at line 691 of file expansionset.hh.

References vcsn::detail::cross_tuple(), vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize(), vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::eset_, vcsn::rat::expansionset< ExpSet >::normalize(), vcsn::rat::expansionset< ExpSet >::ps_, vcsn::rat::expansionset< ExpSet >::res, and vcsn::rat::expansionset< ExpSet >::zero().

Here is the call graph for this function:

Member Data Documentation

eset_

template<typename ExpSet>

template<typename... Expansions>

const expansionset& vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::eset_

Definition at line 708 of file expansionset.hh.

Referenced by vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::denormalize_tape(), and vcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions >::tuple().

---

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

• vcsn/core/rat/expansionset.hh