Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
u.cc
Go to the documentation of this file.
1 #include <vcsn/algos/u.hh>
2 #include <vcsn/dyn/algos.hh>
3 #include <lib/vcsn/algos/registry.hh>
4 
5 namespace vcsn
6 {
7  namespace dyn
8  {
9 
10  REGISTER_DEFINE(u);
11 
12  automaton
13  u(const context& ctx, unsigned n)
14  {
15  return detail::u_registry().call(ctx, n);
16  }
17  }
18 }
vcsn::dyn::automaton
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
vcsn::dyn::context
std::shared_ptr< const detail::context_base > context
Definition: context.hh:71
vcsn::dyn::u
automaton u(const context &ctx, unsigned n)
The Brzozowski universal witness.
Definition: u.cc:13