![]() |
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... | |