constant.hh

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
/*                                                                             */
/*   This file is part of the C++-library RFFGen.                              */
/*   Copyright 2015 Lars Lubkoll                                               */
/*                                                                             */
/*   RFFGen is free software: you can redistribute it and/or modify            */
/*   it under the terms of the GNU General Public License as published by      */
/*   the Free Software Foundation, either version 3 of the License, or         */
/*   (at your option) any later version.                                       */
/*                                                                             */
/*   RFFGen is distributed in the hope that it will be useful,                 */
/*   but WITHOUT ANY WARRANTY; without even the implied warranty of            */
/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the             */
/*   GNU General Public License for more details.                              */
/*                                                                             */
/*   You should have received a copy of the GNU General Public License         */
/*   along with RFFGen.  If not, see <http://www.gnu.org/licenses/>.           */
/*                                                                             */
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */

#ifndef RFFGEN_CONSTANT_HH
#define RFFGEN_CONSTANT_HH

#include "Util/base.hh"
#include "Util/chainer.hh"

namespace RFFGen
{
  template <class> struct ArithmeticConceptCheck;
  template <class Type, class = ArithmeticConceptCheck<Type> >
  struct Constant : Base , Chainer< Constant<Type , ArithmeticConceptCheck<Type> > >
  {
    Constant() = default;

   Constant(Type const& t_) : t(t_)
   {}

   const Type& d0() const noexcept
   {
     return t;
   }

  private:
    Type t;
  };

  template <class Arg>
  auto constRef(const Arg& x)
  {
    return Constant<const Arg&>(x);
  }

  template <class Arg>
  auto constant(const Arg& x)
  {
    return Constant<Arg>(x);
  }
}

#endif // RFFGEN_CONSTANT_HH