![]() |
Vcsn
2.1
Be Rational
|
#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>
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... | |