fado.cc File Reference

#include <fstream>
#include <set>
#include <string>
#include <vcsn/misc/symbol.hh>
#include <lib/vcsn/algos/registry.hh>
#include <lib/vcsn/algos/fwd.hh>
#include <vcsn/algos/edit-automaton.hh>
#include <vcsn/algos/grail.hh>
#include <vcsn/dyn/algos.hh>
#include <vcsn/dyn/automaton.hh>

Include dependency graph for fado.cc:

Go to the source code of this file.

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

Functions
automaton	vcsn::dyn::read_fado (std::istream &is)
std::ostream &	vcsn::dyn::fado (const automaton &aut, std::ostream &out)
	Output in FAdo format. More...