![]()  | 
  
    Vcsn
    2.5.dev
    
   Be Rational 
   | 
 
#include <vcsn/ctx/traits.hh>#include <vcsn/core/mutable-automaton.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/context.hh>#include <vcsn/misc/raise.hh>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... | |