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

One tape.

Definition at line 87 of file inductive.hh.

References vcsn::detail::rs, 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()().

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_

Definition at line 109 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