automaton.hh

Go to the documentation of this file.

#pragma once

#include <memory> // shared_ptr
#include <string>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/export.hh>
#include <vcsn/misc/symbol.hh>

namespace vcsn
{
  namespace dyn
  {
    namespace detail
    {
      class LIBVCSN_API automaton_base
      {
      public:
        virtual symbol vname() const = 0;

        template <Automaton Aut>
        auto& as()
        {
          return dyn_cast<automaton_wrapper<Aut>&>(*this).automaton();
        }

        template <Automaton Aut>
        auto& as() const
        {
          return dyn_cast<const automaton_wrapper<Aut>&>(*this).automaton();
        }
      };

      template <Automaton Aut>
      class automaton_wrapper final: public automaton_base
      {
      public:
        using automaton_t = Aut;

        automaton_wrapper(automaton_t aut)
          : automaton_(aut)
        {}

        virtual symbol vname() const override
        {
          return automaton()->sname();
        }

        automaton_t& automaton()
        {
          return automaton_;
        }

        const automaton_t& automaton() const
        {
          return automaton_;
        }

      private:
        automaton_t automaton_;
      };
    }

    using automaton = std::shared_ptr<detail::automaton_base>;

    template <Automaton Aut>
    inline
    automaton
    make_automaton(const Aut& aut)
    {
      return std::make_shared<detail::automaton_wrapper<Aut>>(aut);
    }
  }
}