mirror of
https://github.com/triqs/dft_tools
synced 2024-12-26 06:14:14 +01:00
80 lines
3.4 KiB
C++
80 lines
3.4 KiB
C++
/*******************************************************************************
|
|
*
|
|
* TRIQS: a Toolbox for Research in Interacting Quantum Systems
|
|
*
|
|
* Copyright (C) 2012 by O. Parcollet
|
|
*
|
|
* TRIQS 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.
|
|
*
|
|
* TRIQS 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
|
|
* TRIQS. If not, see <http://www.gnu.org/licenses/>.
|
|
*
|
|
******************************************************************************/
|
|
#ifndef TRIQS_ARRAYS_IMPL_TRAITS_H
|
|
#define TRIQS_ARRAYS_IMPL_TRAITS_H
|
|
#include <triqs/utility/concept_tools.hpp>
|
|
#include <triqs/utility/traits.hpp>
|
|
|
|
namespace triqs {
|
|
namespace arrays {
|
|
namespace mpl = boost::mpl;
|
|
|
|
// The ImmutableCuboidArray concept
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT(ImmutableCuboidArray);
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(MutableCuboidArray, (ImmutableCuboidArray));
|
|
|
|
// The ImmutableArray concept
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(ImmutableArray, (ImmutableCuboidArray));
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(MutableArray, (ImmutableArray)(MutableCuboidArray));
|
|
|
|
// The ImmutableMatrix concept
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(ImmutableMatrix, (ImmutableCuboidArray));
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(MutableMatrix, (ImmutableMatrix)(MutableCuboidArray));
|
|
|
|
// The ImmutableVector concept
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(ImmutableVector, (ImmutableCuboidArray));
|
|
TRIQS_DEFINE_CONCEPT_AND_ASSOCIATED_TRAIT_R(MutableVector, (ImmutableVector)(MutableCuboidArray));
|
|
|
|
namespace Tag {
|
|
struct array {};
|
|
struct array_view {};
|
|
struct vector {};
|
|
struct vector_view {};
|
|
struct matrix_view {};
|
|
struct matrix {};
|
|
}
|
|
template <typename T> struct is_array : std::is_base_of<Tag::array, T> {};
|
|
template <typename T> struct is_array_view : std::is_base_of<Tag::array_view, T> {};
|
|
template <typename T> struct is_array_or_view : _or<is_array<T>, is_array_view<T>> {};
|
|
|
|
template <typename T> struct is_vector : std::is_base_of<Tag::vector, T> {};
|
|
template <typename T> struct is_vector_view : std::is_base_of<Tag::vector_view, T> {};
|
|
template <typename T> struct is_vector_or_view : _or<is_vector<T>, is_vector_view<T>> {};
|
|
|
|
template <typename T> struct is_matrix : std::is_base_of<Tag::matrix, T> {};
|
|
template <typename T> struct is_matrix_view : std::is_base_of<Tag::matrix_view, T> {};
|
|
template <typename T> struct is_matrix_or_view : _or<is_matrix<T>, is_matrix_view<T>> {};
|
|
|
|
template <class T> struct is_amv_value_class : _or<is_array<T>, is_matrix<T>, is_vector<T>> {};
|
|
template <class T> struct is_amv_view_class : _or<is_array_view<T>, is_matrix_view<T>, is_vector_view<T>> {};
|
|
template <class T> struct is_amv_value_or_view_class : _or<is_amv_value_class<T>, is_amv_view_class<T>> {};
|
|
|
|
template <class S> struct is_scalar : _or<std::is_arithmetic<S>, boost::is_complex<S>> {};
|
|
|
|
template <class S, class A>
|
|
struct is_scalar_for
|
|
: std::conditional<is_scalar<typename A::value_type>::value, is_scalar<S>, boost::is_same<S, typename A::value_type>>::type {
|
|
};
|
|
}
|
|
} // namespace triqs::arrays
|
|
#endif
|
|
|