product.hh File Reference

#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/options/options.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::concatenate (automaton_t aut1, automaton_t aut2, options_t opts={})
	Concatenates aut2 to aut1 or computes a new standard automaton. More...
automaton_t	awali::dyn::infiltration (automaton_t aut1, automaton_t aut2, options_t opts={})
	Computes the infiltration product of aut1 and aut2. More...
automaton_t	awali::dyn::product (automaton_t aut1, automaton_t aut2, options_t opts={})
	Computes the classical product of aut1 and aut2. More...
automaton_t	awali::dyn::shuffle (automaton_t aut1, automaton_t aut2, options_t opts={})
	Computes the shuffle product of aut1 and aut2. More...
automaton_t	awali::dyn::sum (automaton_t aut1, automaton_t aut2, options_t opts={})
	Computes the parallele union of aut1 and aut2. More...