is-valid.cc File Reference

#include <vcsn/dyn/automaton.hh>
#include <vcsn/algos/is-valid.hh>
#include <vcsn/algos/is-valid-ratexp.hh>
#include <vcsn/dyn/algos.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for is-valid.cc:

Go to the source code of this file.

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

Functions
bool	vcsn::dyn::is_valid (const automaton &e)
	Whether automaton is valid (epsilon-cycles converge). More...
bool	vcsn::dyn::is_valid (const ratexp &e)
	Whether rational expression is valid (all the starred sub-expressions are starrable). More...