Sacado_Fad_Exp_Expression.hpp

Go to the documentation of this file.

// @HEADER
// *****************************************************************************
//                           Sacado Package
//
// Copyright 2006 NTESS and the Sacado contributors.
// SPDX-License-Identifier: LGPL-2.1-or-later
// *****************************************************************************
// @HEADER

#ifndef SACADO_FAD_EXP_EXPRESSION_HPP
#define SACADO_FAD_EXP_EXPRESSION_HPP

#include "Sacado_Traits.hpp"

namespace Sacado {

  namespace Fad {
  namespace Exp {


    template <typename T>
    class Expr {
    public:


      typedef T derived_type;


      SACADO_INLINE_FUNCTION
      const derived_type& derived() const {
        return static_cast<const derived_type&>(*this);
      }


      SACADO_INLINE_FUNCTION
      const volatile derived_type& derived() const volatile {
        return static_cast<const volatile derived_type&>(*this);
      }
    };


    template <typename T>
    struct ExprLevel {
      static constexpr unsigned value = 0;
    };

    template <typename T>
    struct ExprLevel< Expr<T> > {
      static constexpr unsigned value =
        ExprLevel< typename Expr<T>::value_type >::value + 1;
    };

    template <typename T>
    struct IsFadExpr {
      static constexpr bool value = false;
    };

    template <typename T>
    struct IsFadExpr< Expr<T> > {
      static constexpr bool value = true;
    };

    // Tag for delegating expression template specializations
    class ExprSpecDefault {};

  } // namespace Exp
  } // namespace Fad

  template <typename T>
  struct IsExpr< Fad::Exp::Expr<T> > {
    static constexpr bool value = true;
  };

  template <typename T>
  struct BaseExprType< Fad::Exp::Expr<T> > {
    typedef typename BaseExprType<T>::type type;
  };

} // namespace Sacado

#include "Sacado_SFINAE_Macros.hpp"

#endif // SACADO_FAD_EXP_EXPRESSION_HPP