![]() |
Vcsn
2.3a
Be Rational
|
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_ |
Definition at line 83 of file inductive.hh.
|
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_.
|
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()().
|
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_.
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_().