are_equivalent.hh File Reference

#include <awali/dyn/core/automaton.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
bool	awali::dyn::are_equivalent (automaton_t aut1, automaton_t aut2)
	Tests if aut1 and au2 are equivalent. More...