double-ring.hh File Reference

#include <map>
#include <vcsn/ctx/traits.hh>
#include <vcsn/alphabets/char.hh>
#include <vcsn/alphabets/setalpha.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/misc/raise.hh>

Include dependency graph for double-ring.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Functions
template<class Context >
mutable_automaton< Context >	vcsn::double_ring (const Context &ctx, unsigned n, const std::vector< unsigned > &finals)
template<typename Ctx , typename , typename >
automaton	vcsn::dyn::detail::double_ring (const dyn::context &ctx, unsigned n, const std::vector< unsigned > &f)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (double_ring,(const context &ctx, unsigned n, const std::vector< unsigned > &f) -> automaton)