automaton.hh

Go to the documentation of this file.

#ifndef VCSN_DYN_AUTOMATON_HH
# define VCSN_DYN_AUTOMATON_HH

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

namespace vcsn
{
  namespace dyn
  {
    namespace detail
    {
      class LIBVCSN_API automaton_base
      {
      public:
        virtual std::string vname(bool full = true) const = 0;

        template <typename Aut>
        Aut& as()
        {
          return dynamic_cast<automaton_wrapper<Aut>&>(*this).automaton();
        }

        template <typename Aut>
        const Aut& as() const
        {
          return dynamic_cast<const automaton_wrapper<Aut>&>(*this).automaton();
        }
      };

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

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

        virtual std::string vname(bool full = true) const override
        {
          return automaton()->vname(full);
        }

        automaton_t& automaton()
        {
          return automaton_;
        }

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

      protected:
        automaton_t automaton_;
      };
    }

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

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

#endif // !VCSN_DYN_AUTOMATON_HH