double-ring.cc File Reference

#include <vector>
#include <vcsn/algos/double-ring.hh>
#include <vcsn/dyn/algos.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for double-ring.cc:

Go to the source code of this file.

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

Functions
automaton	vcsn::dyn::double_ring (const context &ctx, unsigned n, const std::vector< unsigned > &f)
	The double_ring automaton with n states and f the list of finals. More...