product.cc File Reference

#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/product.hh>
#include <vcsn/dyn/algos.hh>

Include dependency graph for product.cc:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::dyn
	FIXME: duplicate code with determinize.

Functions
automaton	vcsn::dyn::product (const automaton &lhs, const automaton &rhs)
	The product of automata lhs and rhs. More...
automaton	vcsn::dyn::product (const std::vector< automaton > &as)
	The product of automata. More...
automaton	vcsn::dyn::shuffle (const automaton &lhs, const automaton &rhs)
	The shuffle product of automata lhs and rhs. More...
automaton	vcsn::dyn::shuffle (const std::vector< automaton > &as)
	The shuffle product of automata. More...
ratexp	vcsn::dyn::shuffle (const ratexp &lhs, const ratexp &rhs)
	The shuffle product of ratexps lhs and rhs. More...
automaton	vcsn::dyn::infiltration (const automaton &lhs, const automaton &rhs)
	The infiltration of automata lhs and rhs. More...
automaton	vcsn::dyn::infiltration (const std::vector< automaton > &as)
	The infiltration product of automata. More...
automaton	vcsn::dyn::power (const automaton &aut, unsigned n)
	Repeated product of aut with itself. More...
ratexp	vcsn::dyn::conjunction (const ratexp &lhs, const ratexp &rhs)
	The Hadamard product of ratexps lhs and rhs. More...