proper.cc File Reference

#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/algos/proper.hh>
#include <vcsn/dyn/algos.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for proper.cc:

Go to the source code of this file.

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

Functions
automaton	vcsn::dyn::proper (const automaton &aut, direction dir=direction::backward, bool prune=true)
	An equivalent automaton without spontaneous transitions. More...