Vcsn  2.4
Be Rational
others.cc File Reference
#include <lib/vcsn/algos/registry.hh>
#include <lib/vcsn/dyn/signature-printer.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/value.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::infiltrate (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, vcsn::rat::identities ids)
 
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...
 
expansion vcsn::dyn::project (const expansion &xpn, unsigned tape)
 Keep a single tape from a multiple-tape expansion. 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...
 
automaton vcsn::dyn::tuple (const automaton &lhs, const automaton &rhs)
 Build a two-tape automaton from two automata. More...
 
context vcsn::dyn::tuple (const context &lhs, const context &rhs)
 Tuple two contexts. 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...