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_t &	visitor_

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 92 of file inductive.hh.

Member Function Documentation

operator()()

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 114 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:

tape_() [1/2]

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

One tape.

Definition at line 96 of file inductive.hh.

References vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::rs_, and vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::visitor_.

Referenced by vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::operator()().

tape_() [2/2]

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 108 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

visitor_

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_

Definition at line 118 of file inductive.hh.

Referenced by vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::operator()(), and vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy >::tape_().

---

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

• vcsn/algos/inductive.hh