blind.cc

Go to the documentation of this file.

#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/blind.hh>
#include <vcsn/dyn/algos.hh>

namespace vcsn
{
  namespace dyn
  {
    /*-------------------.
    | blind(automaton).  |
    `-------------------*/
    REGISTER_DEFINE(blind);
    automaton
    blind(automaton& aut, unsigned tape)
    {
      integral_constant t
        = {"std::integral_constant<unsigned, " + std::to_string(tape) + ">"};
      return detail::blind_registry().call(aut, t);
    }
  }
}