has-twins-property.cc File Reference

#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/has-twins-property.hh>
#include <vcsn/dyn/algos.hh>
#include <vcsn/dyn/automaton.hh>

Include dependency graph for has-twins-property.cc:

Go to the source code of this file.

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

Functions
bool	vcsn::dyn::has_twins_property (const automaton &aut)
	Whether the automaton has the twins property. More...