efsm.cc File Reference

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

Include dependency graph for efsm.cc:

Go to the source code of this file.

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

Functions
automaton	vcsn::dyn::read_efsm (std::istream &is)
std::ostream &	vcsn::dyn::efsm (const automaton &aut, std::ostream &out)
	Output in Extended FSM format. More...