ratexp.hh

Go to the documentation of this file.

#ifndef VCSN_DYN_RATEXP_HH
# define VCSN_DYN_RATEXP_HH

# include <memory>
# include <string>

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

namespace vcsn
{
  namespace dyn
  {
    namespace detail
    {

      class LIBVCSN_API ratexp_base
      {
      public:
        virtual std::string vname(bool full = true) const = 0;

        template <typename RatExpSet>
        ratexp_wrapper<RatExpSet>& as()
        {
          return dynamic_cast<ratexp_wrapper<RatExpSet>&>(*this);
        }

        template <typename RatExpSet>
        const ratexp_wrapper<RatExpSet>& as() const
        {
          return dynamic_cast<const ratexp_wrapper<RatExpSet>&>(*this);
        }
      };


      template <typename RatExpSet>
      class ratexp_wrapper: public ratexp_base
      {
      public:
        using ratexpset_t = RatExpSet;
        using super_t = ratexp_base;
        using ratexp_t = typename ratexpset_t::value_t;
        ratexp_wrapper(const ratexp_t& ratexp,
                       const ratexpset_t& ratexpset)
          : ratexp_(ratexp)
          , ratexpset_(ratexpset)
        {}

        virtual std::string vname(bool full = true) const override
        {
          return ratexpset().vname(full);
        }

        const ratexp_t ratexp() const
        {
          return ratexp_;
        }

        const ratexpset_t& ratexpset() const
        {
          return ratexpset_;
        }

      protected:
        const ratexp_t ratexp_;
        const ratexpset_t ratexpset_;
      };

    } // namespace detail

    using ratexp = std::shared_ptr<detail::ratexp_base>;

    template <typename RatExpSet>
    inline
    ratexp
    make_ratexp(const RatExpSet& rs,
                const typename RatExpSet::value_t& ratexp)
    {
      using wrapper_t = detail::ratexp_wrapper<RatExpSet>;
      return std::make_shared<wrapper_t>(ratexp, rs);
    }

  } // namespace dyn
} // namespace vcsn

#endif // !VCSN_DYN_RATEXP_HH