add.h

Go to the documentation of this file.

/*
 *  This file is a part of TiledArray.
 *  Copyright (C) 2016  Virginia Tech
 *
 *  This program 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.
 *
 *  This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 *  Justus Calvin
 *  Department of Chemistry, Virginia Tech
 *
 *  add.h
 *  Jan 11, 2016
 *
 */
 
#ifndef TILEDARRAY_TILE_INTERFACE_ADD_H__INCLUDED
#define TILEDARRAY_TILE_INTERFACE_ADD_H__INCLUDED
 
#include "../tile_interface/cast.h"
#include "../tile_interface/permute.h"
#include "../type_traits.h"
 
namespace TiledArray {
 
 
template <typename Left, typename Right>
inline auto add(const Left& left, const Right& right)
    -> decltype(left.add(right)) {
  return left.add(right);
}
 
 
template <
    typename Left, typename Right, typename Scalar,
    typename std::enable_if<detail::is_numeric_v<Scalar>>::type* = nullptr>
inline auto add(const Left& left, const Right& right, const Scalar factor) {
  return left.add(right, factor);
}
 
 
template <
    typename Left, typename Right, typename Perm,
    typename = std::enable_if_t<TiledArray::detail::is_permutation_v<Perm> &&
                                detail::has_member_function_add_anyreturn_v<
                                    const Left, const Right&, const Perm&>>>
inline auto add(const Left& left, const Right& right, const Perm& perm) {
  return left.add(right, perm);
}
 
 
template <
    typename Left, typename Right, typename Scalar, typename Perm,
    typename std::enable_if<detail::is_numeric_v<Scalar> &&
                            detail::is_permutation_v<Perm>>::type* = nullptr>
inline auto add(const Left& left, const Right& right, const Scalar factor,
                const Perm& perm) {
  return left.add(right, factor, perm);
}
 
 
template <typename Result, typename Arg>
inline Result& add_to(Result& result, const Arg& arg) {
  return result.add_to(arg);
}
 
 
template <
    typename Result, typename Arg, typename Scalar,
    typename std::enable_if<detail::is_numeric_v<Scalar>>::type* = nullptr>
inline Result& add_to(Result& result, const Arg& arg, const Scalar factor) {
  return result.add_to(arg, factor);
}
 
namespace tile_interface {
 
using TiledArray::add;
using TiledArray::add_to;
 
template <typename... T>
using result_of_add_t = decltype(add(std::declval<T>()...));
 
template <typename... T>
using result_of_add_to_t = decltype(add_to(std::declval<T>()...));
 
//    template <typename Left, typename Right, typename Enabler = void>
//    struct add_trait {
//      typedef Left type;
//    };
//
//    template <typename Left, typename Right>
//    struct add_trait<Left, Right,
//        typename std::enable_if<
//            TiledArray::detail::is_type<result_of_add_t<Left, Right> >::value
//        >::type>
//    {
//      typedef result_of_add_t<Left, Right> type;
//    };
//
//    template <typename Left, typename Right, typename Enabler = void>
//    struct scal_add_trait :
//        public scal_trait<typename add_trait<Left, Right>::type, Scalar>
//    { };
//
//    template <typename Left, typename Right, typename Scalar>
//    struct scal_add_trait<Left, Right,
//        typename std::enable_if<
//            TiledArray::detail::is_type<result_of_add_t<Left, Right, Scalar>
//            >::value
//        >::type>
//    {
//      typedef result_of_add_t<Left, Right, Scalar> type;
//    };
 
template <typename Result, typename Left, typename Right,
          typename Enabler = void>
class Add {
 public:
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
 
  result_type operator()(const left_type& left, const right_type& right) const {
    using TiledArray::add;
    return add(left, right);
  }
 
  template <typename Perm, typename = std::enable_if_t<
                               TiledArray::detail::is_permutation_v<Perm>>>
  result_type operator()(const left_type& left, const right_type& right,
                         const Perm& perm) const {
    using TiledArray::add;
    return add(left, right, perm);
  }
};
 
template <typename Result, typename Left, typename Right>
class Add<Result, Left, Right,
          typename std::enable_if<!(
              std::is_same<Result, result_of_add_t<Left, Right>>::value &&
              std::is_same<Result,
                           result_of_add_t<Left, Right, BipartitePermutation>>::
                  value)>::type> {
 public:
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
 
  result_type operator()(const left_type& left, const right_type& right) const {
    using TiledArray::add;
    TiledArray::Cast<Result, result_of_add_t<Left, Right>> cast;
    return cast(add(left, right));
  }
 
  template <typename Perm, typename = std::enable_if_t<
                               TiledArray::detail::is_permutation_v<Perm>>>
  result_type operator()(const left_type& left, const right_type& right,
                         const Perm& perm) const {
    using TiledArray::add;
    TiledArray::Cast<Result, result_of_add_t<Left, Right, Perm>> cast;
    return cast(add(left, right, perm));
  }
};
 
template <typename Result, typename Left, typename Right, typename Scalar,
          typename Enabler = void>
class ScalAdd {
 public:
  static_assert(TiledArray::detail::is_numeric_v<Scalar>,
                "Cannot scale tiles by a non-scalar type");
 
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
  typedef Scalar scalar_type;  
 
  result_type operator()(const left_type& left, const right_type& right,
                         const scalar_type factor) const {
    using TiledArray::add;
    return add(left, right, factor);
  }
 
  template <typename Perm, typename = std::enable_if_t<
                               TiledArray::detail::is_permutation_v<Perm>>>
  result_type operator()(const left_type& left, const right_type& right,
                         const scalar_type factor, const Perm& perm) const {
    using TiledArray::add;
    return add(left, right, factor, perm);
  }
};
 
template <typename Result, typename Left, typename Right, typename Scalar>
class ScalAdd<
    Result, Left, Right, Scalar,
    typename std::enable_if<!(
        std::is_same<Result, result_of_add_t<Left, Right, Scalar>>::value &&
        std::is_same<Result, result_of_add_t<Left, Right, Scalar,
                                             BipartitePermutation>>::value)>::
        type> {
 public:
  static_assert(TiledArray::detail::is_numeric_v<Scalar>,
                "Cannot scale tiles by a non-scalar type");
 
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
  typedef Scalar scalar_type;  
 
  result_type operator()(const left_type& left, const right_type& right,
                         const scalar_type factor) const {
    using TiledArray::add;
    TiledArray::Cast<Result, result_of_add_t<Left, Right, Scalar>> cast;
    return cast(add(left, right, factor));
  }
 
  template <typename Perm, typename = std::enable_if_t<
                               TiledArray::detail::is_permutation_v<Perm>>>
  result_type operator()(const left_type& left, const right_type& right,
                         const scalar_type factor, const Perm& perm) const {
    using TiledArray::add;
    TiledArray::Cast<Result, result_of_add_t<Left, Right, Scalar, Perm>> cast;
    return cast(add(left, right, factor, perm));
  }
};
 
template <typename Result, typename Left, typename Right,
          typename Enabler = void>
class AddTo {
 public:
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
 
  result_type& operator()(left_type& left, const right_type& right) const {
    using TiledArray::add_to;
    return add_to(left, right);
  }
};
 
template <typename Result, typename Left, typename Right>
class AddTo<Result, Left, Right,
            typename std::enable_if<!std::is_same<
                Result, result_of_add_to_t<Left, Right>>::value>::type> {
 public:
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
 
  result_type operator()(left_type& left, const right_type& right) const {
    using TiledArray::add_to;
    TiledArray::Cast<Result, result_of_add_to_t<Left, Right>> cast;
    add_to(left, right);
    return cast(left);
  }
};
 
template <typename Result, typename Left, typename Right, typename Scalar,
          typename Enabler = void>
class ScalAddTo {
 public:
  static_assert(TiledArray::detail::is_numeric_v<Scalar>,
                "Cannot scale tiles by a non-scalar type");
 
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
  typedef Scalar scalar_type;  
 
  result_type& operator()(left_type& left, const right_type& right) const {
    using TiledArray::add_to;
    return add_to(left, right);
  }
};
 
template <typename Result, typename Left, typename Right, typename Scalar>
class ScalAddTo<
    Result, Left, Right, Scalar,
    typename std::enable_if<!std::is_same<
        Result, result_of_add_to_t<Left, Right, Scalar>>::value>::type> {
 public:
  static_assert(TiledArray::detail::is_numeric_v<Scalar>,
                "Cannot scale tiles by a non-scalar type");
 
  typedef Result result_type;  
  typedef Left left_type;      
  typedef Right right_type;    
  typedef Scalar scalar_type;  
 
  result_type operator()(left_type& left, const right_type& right,
                         const scalar_type factor) const {
    using TiledArray::add_to;
    TiledArray::Cast<Result, result_of_add_to_t<Left, Right, Scalar>> cast;
    add_to(left, right);
    return cast(left);
  }
};
 
}  // namespace tile_interface
 
 
template <typename Result, typename Left, typename Right>
class Add : public TiledArray::tile_interface::Add<Result, Left, Right> {};
 
 
template <typename Result, typename Left, typename Right, typename Scalar>
class ScalAdd
    : public TiledArray::tile_interface::ScalAdd<Result, Left, Right, Scalar> {
};
 
 
template <typename Result, typename Left, typename Right>
class AddTo : public TiledArray::tile_interface::AddTo<Result, Left, Right> {};
 
 
template <typename Result, typename Left, typename Right, typename Scalar>
class ScalAddTo : public TiledArray::tile_interface::ScalAddTo<Result, Left,
                                                               Right, Scalar> {
};
 
}  // namespace TiledArray
 
#endif  // TILEDARRAY_TILE_INTERFACE_ADD_H__INCLUDED