star-height.cc File Reference

#include <vcsn/dyn/ratexp.hh>
#include <vcsn/dyn/algos.hh>
#include <vcsn/algos/star-height.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for star-height.cc:

Go to the source code of this file.

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

Functions
unsigned	vcsn::dyn::star_height (const ratexp &rs)
	Star height of a ratexp. More...