u.hh File Reference

#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 u.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<typename Context >
mutable_automaton< Context >	vcsn::u (const Context &ctx, unsigned n)
	The Brzozowski universal witness. More...
template<typename Ctx , typename Unsigned >
automaton	vcsn::dyn::detail::u (const context &ctx, unsigned n)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (u,(const context &ctx, unsigned n) -> automaton)