others.cc File Reference

#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>

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...
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...