Vcsn  2.2
Be Rational
others.cc File Reference
#include <lib/vcsn/algos/registry.hh>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/dyn/algos.hh>
#include <vcsn/dyn/label.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/polynomial.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>
Include dependency graph for others.cc:

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...
 
polynomial vcsn::dyn::project (const polynomial &p, unsigned tape)
 Keep a single tape from a multiple-tape polynomial. More...
 
label vcsn::dyn::project (const label &p, unsigned tape)
 Keep a single tape from a multiple-tape label. 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...