![]() |
Vcsn
2.8
Be Rational
|
#include <vcsn/algos/num-tapes.hh>#include <vcsn/core/automatonset.hh>#include <vcsn/core/rat/visitor.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/value.hh>#include <vcsn/misc/static-if.hh>Go to the source code of this file.
Classes | |
| class | vcsn::rat::inductive_visitor< Aut, ExpSet, Tag > |
| Build an automaton by induction from an expression. More... | |
| struct | vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< bool, Dummy > |
| struct | vcsn::rat::inductive_visitor< Aut, ExpSet, Tag >::visit_tuple< false, Dummy > |
Namespaces | |
| vcsn | |
| vcsn::rat | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Functions | |
| template<Automaton Aut, typename ExpSet , typename Tag > | |
| Aut | vcsn::inductive (const ExpSet &rs, const typename ExpSet::value_t &r, Tag={}) |
| Build an automaton by induction from an expression. More... | |
| template<typename ExpSet , typename Tag > | |
| automaton | vcsn::dyn::detail::inductive_tag_ (const ExpSet &rs, const typename ExpSet::value_t &r) |
| Helper function to facilitate dispatch below. More... | |
| template<typename ExpSet , typename String > | |
| automaton | vcsn::dyn::detail::inductive (const expression &exp, const std::string &algo) |
| Bridge. More... | |