to-expression.cc File Reference

#include <vcsn/dyn/automaton.hh>
#include <vcsn/algos/to-expression.hh>
#include <vcsn/dyn/algos.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for to-expression.cc:

Go to the source code of this file.

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

Functions
automaton	vcsn::dyn::eliminate_state (const automaton &aut, int s)
	The LAO automaton aut with state s removed. More...
ratexp	vcsn::dyn::to_expression (const automaton &aut, const std::string &algo="auto")
	A ratexp denoting the language of aut. More...