6 #include <vcsn/dyn/fwd.hh> vcsn::rat::location location
Pairs of positions in a file/stream.
automaton read_daut(std::istream &is, const location &l)
automaton read_efsm(std::istream &is, const location &)
automaton read_fado(std::istream &is, const location &)