Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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...