Vcsn  2.3
Be Rational
u.hh File Reference
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...