codekingpro/portable-devtools

1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6// SPDX-FileCopyrightText: Copyright (c) 2023 NVIDIA CORPORATION & AFFILIATES.7//8//===----------------------------------------------------------------------===//9 10#ifndef _LIBCUDACXX___CONCEPTS_MOVABLE_H11#define _LIBCUDACXX___CONCEPTS_MOVABLE_H12 13#ifndef __cuda_std__14#include <__config>15#endif //__cuda_std__16 17#include "../__concepts/__concept_macros.h"18#include "../__concepts/assignable.h"19#include "../__concepts/constructible.h"20#include "../__concepts/swappable.h"21#include "../__type_traits/is_object.h"22 23#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)24#  pragma GCC system_header25#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)26#  pragma clang system_header27#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)28#  pragma system_header29#endif // no system header30 31_LIBCUDACXX_BEGIN_NAMESPACE_STD32 33#if _LIBCUDACXX_STD_VER > 1734 35template<class _Tp>36concept movable =37  is_object_v<_Tp> &&38  move_constructible<_Tp>&&39  assignable_from<_Tp&, _Tp> &&40  swappable<_Tp>;41 42#elif _LIBCUDACXX_STD_VER > 1143 44// [concepts.object]45template<class _Tp>46_LIBCUDACXX_CONCEPT_FRAGMENT(47  _Movable_,48  requires()(//49    requires(is_object_v<_Tp>),50    requires(move_constructible<_Tp>),51    requires(assignable_from<_Tp&, _Tp>),52    requires(swappable<_Tp>)53  ));54 55template<class _Tp>56_LIBCUDACXX_CONCEPT movable = _LIBCUDACXX_FRAGMENT(_Movable_, _Tp);57 58#endif // _LIBCUDACXX_STD_VER > 1159 60_LIBCUDACXX_END_NAMESPACE_STD61 62#endif // _LIBCUDACXX___CONCEPTS_MOVABLE_H63