are-equivalent.cc File Reference

#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/are-equivalent.hh>
#include <vcsn/dyn/algos.hh>

Include dependency graph for are-equivalent.cc:

Go to the source code of this file.

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

Functions
bool	vcsn::dyn::are_equivalent (const automaton &lhs, const automaton &rhs)
	Whether define the same language. More...
bool	vcsn::dyn::are_equivalent (const ratexp &lhs, const ratexp &rhs)
	Whether define the same language. More...
automaton	vcsn::dyn::difference (const automaton &lhs, const automaton &rhs)
	An automaton whose behavior is that of lhs on words not accepted by rhs. More...
ratexp	vcsn::dyn::difference (const ratexp &lhs, const ratexp &rhs)
	Words accepted by lhs, but not by rhs. More...