![]() |
Vcsn
2.1
Be Rational
|
#include <lib/vcsn/algos/registry.hh>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/dyn/algos.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/registries.hh>
#include <vcsn/dyn/signature-printer.hh>
#include <vcsn/dyn/translate.hh>
#include <vcsn/misc/builtins.hh>
#include <vcsn/misc/getargs.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
Functions | |
automaton | vcsn::dyn::conjunction (const automaton &lhs, const automaton &rhs, bool lazy=false) |
The conjunction (aka synchronized product) of automata. More... | |
static integral_constant | vcsn::dyn::to_integral_constant (unsigned tape) |
automaton | vcsn::dyn::focus (const automaton &aut, unsigned tape) |
Focus on a specific tape of a tupleset automaton. More... | |
automaton | vcsn::dyn::infiltration (const automaton &lhs, const automaton &rhs) |
The infiltration of automata lhs and rhs. More... | |
automaton | vcsn::dyn::lift (const automaton &aut, const std::vector< unsigned > &tapes={}, rat::identities ids={}) |
Lift some tapes of the transducer, or turn an automaton into a spontaneous automaton. More... | |
context | vcsn::dyn::make_context (const std::string &name) |
Build a context from its name. More... | |
automaton | vcsn::dyn::project (const automaton &aut, unsigned tape) |
Keep a single tape from a multiple-tape automaton. More... | |
context | vcsn::dyn::project (const context &ctx, unsigned tape) |
Keep a single tape from a multiple-tape context. More... | |
automaton | vcsn::dyn::shuffle (const automaton &lhs, const automaton &rhs) |
The shuffle product of automata lhs and rhs. More... | |
automaton | vcsn::dyn::to_automaton (const expression &exp, const std::string &algo="auto") |
An automaton denoting the language of exp. More... | |
expression | vcsn::dyn::tuple (const expression &lhs, const expression &rhs) |
Build a two-tape expression from two expressions. More... | |
std::string | vcsn::dyn::type (const automaton &a) |
The implementation type of a. More... | |