Vcsn  2.4
Be Rational
vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy > Struct Template Reference
Collaboration diagram for vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >:

Public Member Functions

template<size_t I>
auto tape_ (const tuple_t &v)
 One tape. More...
 
template<size_t... I>
auto tape_ (const tuple_t &v, detail::index_sequence< I... >)
 Sum of sizes for all tapes. More...
 
auto operator() (const tuple_t &v)
 Entry point. More...
 

Public Attributes

self_tvisitor_
 

Detailed Description

template<Automaton Aut, typename ExpSet, typename Tag>
template<bool = context_t::is_lat, typename Dummy = void>
struct vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >

Definition at line 83 of file inductive.hh.

Member Function Documentation

template<Automaton Aut, typename ExpSet , typename Tag >
template<bool = context_t::is_lat, typename Dummy = void>
auto vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::operator() ( const tuple_t v)
inline

Entry point.

Definition at line 105 of file inductive.hh.

References vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::res_, vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::tape_(), and vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::visitor_.

Here is the call graph for this function:

template<Automaton Aut, typename ExpSet , typename Tag >
template<bool = context_t::is_lat, typename Dummy = void>
template<size_t I>
auto vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::tape_ ( const tuple_t v)
inline
template<Automaton Aut, typename ExpSet , typename Tag >
template<bool = context_t::is_lat, typename Dummy = void>
template<size_t... I>
auto vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::tape_ ( const tuple_t v,
detail::index_sequence< I... >   
)
inline

Sum of sizes for all tapes.

Definition at line 99 of file inductive.hh.

References vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::as_, vcsn::automatonset< Context, Tag >::tuple(), and vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::visitor_.

Here is the call graph for this function:

Member Data Documentation

template<Automaton Aut, typename ExpSet , typename Tag >
template<bool = context_t::is_lat, typename Dummy = void>
self_t& vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::visitor_

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