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/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
	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...