include/utility - LeafOS-Project/android_external_libcxx - Gitiles

 // -*- C++ -*-
 //===-------------------------- utility -----------------------------------===//
 //
 //                     The LLVM Compiler Infrastructure
 //
 // This file is dual licensed under the MIT and the University of Illinois Open
 // Source Licenses. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//

 #ifndef _LIBCPP_UTILITY
 #define _LIBCPP_UTILITY

 /*
     utility synopsis

 namespace std
 {

 template <class T>
     void
     swap(T& a, T& b);

 namespace rel_ops
 {
     template<class T> bool operator!=(const T&, const T&);
     template<class T> bool operator> (const T&, const T&);
     template<class T> bool operator<=(const T&, const T&);
     template<class T> bool operator>=(const T&, const T&);
 }

 template<class T>
 void
 swap(T& a, T& b) noexcept(is_nothrow_move_constructible<T>::value &&
                           is_nothrow_move_assignable<T>::value);

 template <class T, size_t N>
 void
 swap(T (&a)[N], T (&b)[N]) noexcept(noexcept(swap(*a, *b)));

 template <class T> T&& forward(typename remove_reference<T>::type& t) noexcept;
 template <class T> T&& forward(typename remove_reference<T>::type&& t) noexcept;

 template <class T> typename remove_reference<T>::type&& move(T&&) noexcept;

 template <class T>
     typename conditional
     <
         !is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
         const T&,
         T&&
     >::type
     move_if_noexcept(T& x) noexcept;

 template <class T> typename add_rvalue_reference<T>::type declval() noexcept;

 template <class T1, class T2>
 struct pair
 {
     typedef T1 first_type;
     typedef T2 second_type;

     T1 first;
     T2 second;

     pair(const pair&) = default;
     pair(pair&&) = default;
     constexpr pair();
     pair(const T1& x, const T2& y);
     template <class U, class V> pair(U&& x, V&& y);
     template <class U, class V> pair(const pair<U, V>& p);
     template <class U, class V> pair(pair<U, V>&& p);
     template <class... Args1, class... Args2>
         pair(piecewise_construct_t, tuple<Args1...> first_args,
              tuple<Args2...> second_args);

     template <class U, class V> pair& operator=(const pair<U, V>& p);
     pair& operator=(pair&& p) noexcept(is_nothrow_move_assignable<T1>::value &&
                                        is_nothrow_move_assignable<T2>::value);
     template <class U, class V> pair& operator=(pair<U, V>&& p);

     void swap(pair& p) noexcept(noexcept(swap(first, p.first)) &&
                                 noexcept(swap(second, p.second)));
 };

 template <class T1, class T2> bool operator==(const pair<T1,T2>&, const pair<T1,T2>&);
 template <class T1, class T2> bool operator!=(const pair<T1,T2>&, const pair<T1,T2>&);
 template <class T1, class T2> bool operator< (const pair<T1,T2>&, const pair<T1,T2>&);
 template <class T1, class T2> bool operator> (const pair<T1,T2>&, const pair<T1,T2>&);
 template <class T1, class T2> bool operator>=(const pair<T1,T2>&, const pair<T1,T2>&);
 template <class T1, class T2> bool operator<=(const pair<T1,T2>&, const pair<T1,T2>&);

 template <class T1, class T2> pair<V1, V2> make_pair(T1&&, T2&&);
 template <class T1, class T2>
 void
 swap(pair<T1, T2>& x, pair<T1, T2>& y) noexcept(noexcept(x.swap(y)));

 struct piecewise_construct_t { };
 constexpr piecewise_construct_t piecewise_construct = piecewise_construct_t();

 template <class T> class tuple_size;
 template <size_t I, class T> class tuple_element;

 template <class T1, class T2> struct tuple_size<std::pair<T1, T2> >;
 template <class T1, class T2> struct tuple_element<0, std::pair<T1, T2> >;
 template <class T1, class T2> struct tuple_element<1, std::pair<T1, T2> >;

 template<size_t I, class T1, class T2>
     typename tuple_element<I, std::pair<T1, T2> >::type&
     get(std::pair<T1, T2>&) noexcept;

 template<size_t I, class T1, class T2>
     const typename const tuple_element<I, std::pair<T1, T2> >::type&
     get(const std::pair<T1, T2>&) noexcept;

 template<size_t I, class T1, class T2>
     typename tuple_element<I, std::pair<T1, T2> >::type&&
     get(std::pair<T1, T2>&&) noexcept;

 }  // std

 */

 #include <__config>
 #include <__tuple>
 #include <type_traits>

 #pragma GCC system_header

 _LIBCPP_BEGIN_NAMESPACE_STD

 namespace rel_ops
 {

 template<class _Tp>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator!=(const _Tp& __x, const _Tp& __y)
 {
     return !(__x == __y);
 }

 template<class _Tp>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator> (const _Tp& __x, const _Tp& __y)
 {
     return __y < __x;
 }

 template<class _Tp>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator<=(const _Tp& __x, const _Tp& __y)
 {
     return !(__y < __x);
 }

 template<class _Tp>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator>=(const _Tp& __x, const _Tp& __y)
 {
     return !(__x < __y);
 }

 }  // rel_ops

 // swap_ranges

 template <class _ForwardIterator1, class _ForwardIterator2>
 inline _LIBCPP_INLINE_VISIBILITY
 _ForwardIterator2
 swap_ranges(_ForwardIterator1 __first1, _ForwardIterator1 __last1, _ForwardIterator2 __first2)
 {
     for(; __first1 != __last1; ++__first1, ++__first2)
         swap(*__first1, *__first2);
     return __first2;
 }

 template<class _Tp, size_t _N>
 inline _LIBCPP_INLINE_VISIBILITY
 void
 swap(_Tp (&__a)[_N], _Tp (&__b)[_N])
       _NOEXCEPT_(_NOEXCEPT_(swap(_STD::declval<_Tp&>(), _STD::declval<_Tp&>())))
 {
     _STD::swap_ranges(__a, __a + _N, __b);
 }

 template <class _Tp>
 inline _LIBCPP_INLINE_VISIBILITY
 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
 typename conditional
 <
     !is_nothrow_move_constructible<_Tp>::value && is_copy_constructible<_Tp>::value,
     const _Tp&,
     _Tp&&
 >::type
 #else  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
 const _Tp&
 #endif
 move_if_noexcept(_Tp& __x) _NOEXCEPT
 {
     return _STD::move(__x);
 }

 struct _LIBCPP_VISIBLE piecewise_construct_t { };
 //constexpr
 extern const piecewise_construct_t piecewise_construct;// = piecewise_construct_t();

 template <class _T1, class _T2>
 struct _LIBCPP_VISIBLE pair
 {
     typedef _T1 first_type;
     typedef _T2 second_type;

     _T1 first;
     _T2 second;

     // pair(const pair&) = default;
     // pair(pair&&) = default;

     _LIBCPP_INLINE_VISIBILITY pair() : first(), second() {}

     _LIBCPP_INLINE_VISIBILITY pair(const _T1& __x, const _T2& __y)
         : first(__x), second(__y) {}

     template<class _U1, class _U2>
         _LIBCPP_INLINE_VISIBILITY
         pair(const pair<_U1, _U2>& __p,
                  typename enable_if<is_convertible<_U1, _T1>::value &&
                                     is_convertible<_U2, _T2>::value>::type* = 0)
             : first(__p.first), second(__p.second) {}

     _LIBCPP_INLINE_VISIBILITY
     pair& operator=(const pair& __p)
     {
         first = __p.first;
         second = __p.second;
         return *this;
     }

 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

     template <class _U1, class _U2,
               class = typename enable_if<is_convertible<_U1, first_type >::value &&
                                          is_convertible<_U2, second_type>::value>::type>
         _LIBCPP_INLINE_VISIBILITY
         pair(_U1&& __u1, _U2&& __u2)
             : first(_STD::forward<_U1>(__u1)),
               second(_STD::forward<_U2>(__u2))
             {}

     template<class _U1, class _U2>
         _LIBCPP_INLINE_VISIBILITY
         pair(pair<_U1, _U2>&& __p,
                  typename enable_if<is_convertible<_U1, _T1>::value &&
                                     is_convertible<_U2, _T2>::value>::type* = 0)
             : first(_STD::forward<_U1>(__p.first)),
               second(_STD::forward<_U2>(__p.second)) {}

     _LIBCPP_INLINE_VISIBILITY
     pair&
     operator=(pair&& __p) _NOEXCEPT_(is_nothrow_move_assignable<first_type>::value &&
                                      is_nothrow_move_assignable<second_type>::value)
     {
         first = _STD::forward<first_type>(__p.first);
         second = _STD::forward<second_type>(__p.second);
         return *this;
     }

 #ifndef _LIBCPP_HAS_NO_VARIADICS

     template<class _Tuple,
              class = typename enable_if<__tuple_convertible<_Tuple, pair>::value>::type>
         _LIBCPP_INLINE_VISIBILITY
         pair(_Tuple&& __p)
             : first(_STD::forward<typename tuple_element<0,
                                   typename __make_tuple_types<_Tuple>::type>::type>(get<0>(__p))),
               second(_STD::forward<typename tuple_element<1,
                                    typename __make_tuple_types<_Tuple>::type>::type>(get<1>(__p)))
             {}


     template <class... _Args1, class... _Args2, size_t... _I1, size_t... _I2>
         _LIBCPP_INLINE_VISIBILITY
         pair(piecewise_construct_t __pc, tuple<_Args1...> __first_args,
                                     tuple<_Args2...> __second_args)
             : pair(__pc, __first_args, __second_args,
                    typename __make_tuple_indices<sizeof...(_Args1)>::type(),
                    typename __make_tuple_indices<sizeof...(_Args2) >::type())
             {}

     template <class _Tuple,
               class = typename enable_if<__tuple_assignable<_Tuple, pair>::value>::type>
         _LIBCPP_INLINE_VISIBILITY
         pair&
         operator=(_Tuple&& __p)
         {
             typedef typename __make_tuple_types<_Tuple>::type _TupleRef;
             typedef typename tuple_element<0, _TupleRef>::type _U0;
             typedef typename tuple_element<1, _TupleRef>::type _U1;
             first  = _STD::forward<_U0>(_STD::get<0>(__p));
             second = _STD::forward<_U1>(_STD::get<1>(__p));
             return *this;
         }

 #endif  // _LIBCPP_HAS_NO_VARIADICS

 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
     _LIBCPP_INLINE_VISIBILITY
     void
     swap(pair& __p) _NOEXCEPT_(
 //                    _NOEXCEPT_(_STD::iter_swap(&first, &__p.first)) &&
 //                    _NOEXCEPT_(_STD::iter_swap(&second, &__p.second)))
                       _NOEXCEPT_(_STD::iter_swap(&_STD::declval<first_type&>(),
                                                  &_STD::declval<first_type&>())) &&
                       _NOEXCEPT_(_STD::iter_swap(&_STD::declval<second_type&>(),
                                                  &_STD::declval<second_type&>())))
     {
         _STD::iter_swap(&first, &__p.first);
         _STD::iter_swap(&second, &__p.second);
     }
 private:

 #ifndef _LIBCPP_HAS_NO_VARIADICS
     template <class... _Args1, class... _Args2, size_t... _I1, size_t... _I2>
         _LIBCPP_INLINE_VISIBILITY
         pair(piecewise_construct_t,
              tuple<_Args1...>& __first_args, tuple<_Args2...>& __second_args,
              __tuple_indices<_I1...>, __tuple_indices<_I2...>);
 #endif  // _LIBCPP_HAS_NO_VARIADICS
 };

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator==(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return __x.first == __y.first && __x.second == __y.second;
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator!=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return !(__x == __y);
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator< (const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return __x.first < __y.first || (!(__y.first < __x.first) && __x.second < __y.second);
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator> (const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return __y < __x;
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator>=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return !(__x < __y);
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 bool
 operator<=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
 {
     return !(__y < __x);
 }

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 void
 swap(pair<_T1, _T2>& __x, pair<_T1, _T2>& __y)
 //                                        _NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
     _NOEXCEPT_(_NOEXCEPT_((_STD::declval<pair<_T1, _T2>&>().swap(_STD::declval<pair<_T1, _T2>&>()))))
 {
     __x.swap(__y);
 }

 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

 template <class _Tp> class reference_wrapper;

 template <class _Tp>
 struct ___make_pair_return
 {
     typedef _Tp type;
 };

 template <class _Tp>
 struct ___make_pair_return<reference_wrapper<_Tp>>
 {
     typedef _Tp& type;
 };

 template <class _Tp>
 struct __make_pair_return
 {
     typedef typename ___make_pair_return<typename decay<_Tp>::type>::type type;
 };

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 pair<typename __make_pair_return<_T1>::type, typename __make_pair_return<_T2>::type>
 make_pair(_T1&& __t1, _T2&& __t2)
 {
     return pair<typename __make_pair_return<_T1>::type, typename __make_pair_return<_T2>::type>
                (_STD::forward<_T1>(__t1), _STD::forward<_T2>(__t2));
 }

 #else  // _LIBCPP_HAS_NO_RVALUE_REFERENCES

 template <class _T1, class _T2>
 inline _LIBCPP_INLINE_VISIBILITY
 pair<_T1,_T2>
 make_pair(_T1 __x, _T2 __y)
 {
     return pair<_T1, _T2>(__x, __y);
 }

 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES

 #ifndef _LIBCPP_HAS_NO_VARIADICS

 template <class _T1, class _T2>
   class _LIBCPP_VISIBLE tuple_size<pair<_T1, _T2> >
     : public integral_constant<size_t, 2> {};

 template <class _T1, class _T2>
   class _LIBCPP_VISIBLE tuple_size<const pair<_T1, _T2> >
     : public integral_constant<size_t, 2> {};

 template <class _T1, class _T2>
 class _LIBCPP_VISIBLE tuple_element<0, pair<_T1, _T2> >
 {
 public:
     typedef _T1 type;
 };

 template <class _T1, class _T2>
 class _LIBCPP_VISIBLE tuple_element<1, pair<_T1, _T2> >
 {
 public:
     typedef _T2 type;
 };

 template <class _T1, class _T2>
 class _LIBCPP_VISIBLE tuple_element<0, const pair<_T1, _T2> >
 {
 public:
     typedef const _T1 type;
 };

 template <class _T1, class _T2>
 class _LIBCPP_VISIBLE tuple_element<1, const pair<_T1, _T2> >
 {
 public:
     typedef const _T2 type;
 };

 template <size_t _Ip> struct __get_pair;

 template <>
 struct __get_pair<0>
 {
     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     _T1&
     get(pair<_T1, _T2>& __p) {return __p.first;}

     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     const _T1&
     get(const pair<_T1, _T2>& __p) {return __p.first;}

 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     _T1&&
     get(pair<_T1, _T2>&& __p) {return _STD::forward<_T1>(__p.first);}

 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
 };

 template <>
 struct __get_pair<1>
 {
     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     _T2&
     get(pair<_T1, _T2>& __p) {return __p.second;}

     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     const _T2&
     get(const pair<_T1, _T2>& __p) {return __p.second;}

 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

     template <class _T1, class _T2>
     static
     _LIBCPP_INLINE_VISIBILITY
     _T2&&
     get(pair<_T1, _T2>&& __p) {return _STD::forward<_T2>(__p.second);}

 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
 };

 template <size_t _Ip, class _T1, class _T2>
 _LIBCPP_INLINE_VISIBILITY inline
 typename tuple_element<_Ip, pair<_T1, _T2> >::type&
 get(pair<_T1, _T2>& __p)
 {
     return __get_pair<_Ip>::get(__p);
 }

 template <size_t _Ip, class _T1, class _T2>
 _LIBCPP_INLINE_VISIBILITY inline
 const typename tuple_element<_Ip, pair<_T1, _T2> >::type&
 get(const pair<_T1, _T2>& __p)
 {
     return __get_pair<_Ip>::get(__p);
 }

 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

 template <size_t _Ip, class _T1, class _T2>
 _LIBCPP_INLINE_VISIBILITY inline
 typename tuple_element<_Ip, pair<_T1, _T2> >::type&&
 get(pair<_T1, _T2>&& __p)
 {
     return __get_pair<_Ip>::get(_STD::move(__p));
 }

 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES

 #endif  // _LIBCPP_HAS_NO_VARIADICS

 _LIBCPP_END_NAMESPACE_STD

 #endif  // _LIBCPP_UTILITY
	// -- C++ --
	//===-------------------------- utility -----------------------------------===//
	//
	// The LLVM Compiler Infrastructure
	//
	// This file is dual licensed under the MIT and the University of Illinois Open
	// Source Licenses. See LICENSE.TXT for details.
	//
	//===----------------------------------------------------------------------===//

	#ifndef _LIBCPP_UTILITY
	#define _LIBCPP_UTILITY

	/*
	utility synopsis

	namespace std
	{

	template <class T>
	void
	swap(T& a, T& b);

	namespace rel_ops
	{
	template<class T> bool operator!=(const T&, const T&);
	template<class T> bool operator> (const T&, const T&);
	template<class T> bool operator<=(const T&, const T&);
	template<class T> bool operator>=(const T&, const T&);
	}

	template<class T>
	void
	swap(T& a, T& b) noexcept(is_nothrow_move_constructible<T>::value &&
	is_nothrow_move_assignable<T>::value);

	template <class T, size_t N>
	void
	swap(T (&a)[N], T (&b)[N]) noexcept(noexcept(swap(a, b)));

	template <class T> T&& forward(typename remove_reference<T>::type& t) noexcept;
	template <class T> T&& forward(typename remove_reference<T>::type&& t) noexcept;

	template <class T> typename remove_reference<T>::type&& move(T&&) noexcept;

	template <class T>
	typename conditional
	<
	!is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
	const T&,
	T&&
	>::type
	move_if_noexcept(T& x) noexcept;

	template <class T> typename add_rvalue_reference<T>::type declval() noexcept;

	template <class T1, class T2>
	struct pair
	{
	typedef T1 first_type;
	typedef T2 second_type;

	T1 first;
	T2 second;

	pair(const pair&) = default;
	pair(pair&&) = default;
	constexpr pair();
	pair(const T1& x, const T2& y);
	template <class U, class V> pair(U&& x, V&& y);
	template <class U, class V> pair(const pair<U, V>& p);
	template <class U, class V> pair(pair<U, V>&& p);
	template <class... Args1, class... Args2>
	pair(piecewise_construct_t, tuple<Args1...> first_args,
	tuple<Args2...> second_args);

	template <class U, class V> pair& operator=(const pair<U, V>& p);
	pair& operator=(pair&& p) noexcept(is_nothrow_move_assignable<T1>::value &&
	is_nothrow_move_assignable<T2>::value);
	template <class U, class V> pair& operator=(pair<U, V>&& p);

	void swap(pair& p) noexcept(noexcept(swap(first, p.first)) &&
	noexcept(swap(second, p.second)));
	};

	template <class T1, class T2> bool operator==(const pair<T1,T2>&, const pair<T1,T2>&);
	template <class T1, class T2> bool operator!=(const pair<T1,T2>&, const pair<T1,T2>&);
	template <class T1, class T2> bool operator< (const pair<T1,T2>&, const pair<T1,T2>&);
	template <class T1, class T2> bool operator> (const pair<T1,T2>&, const pair<T1,T2>&);
	template <class T1, class T2> bool operator>=(const pair<T1,T2>&, const pair<T1,T2>&);
	template <class T1, class T2> bool operator<=(const pair<T1,T2>&, const pair<T1,T2>&);

	template <class T1, class T2> pair<V1, V2> make_pair(T1&&, T2&&);
	template <class T1, class T2>
	void
	swap(pair<T1, T2>& x, pair<T1, T2>& y) noexcept(noexcept(x.swap(y)));

	struct piecewise_construct_t { };
	constexpr piecewise_construct_t piecewise_construct = piecewise_construct_t();

	template <class T> class tuple_size;
	template <size_t I, class T> class tuple_element;

	template <class T1, class T2> struct tuple_size<std::pair<T1, T2> >;
	template <class T1, class T2> struct tuple_element<0, std::pair<T1, T2> >;
	template <class T1, class T2> struct tuple_element<1, std::pair<T1, T2> >;

	template<size_t I, class T1, class T2>
	typename tuple_element<I, std::pair<T1, T2> >::type&
	get(std::pair<T1, T2>&) noexcept;

	template<size_t I, class T1, class T2>
	const typename const tuple_element<I, std::pair<T1, T2> >::type&
	get(const std::pair<T1, T2>&) noexcept;

	template<size_t I, class T1, class T2>
	typename tuple_element<I, std::pair<T1, T2> >::type&&
	get(std::pair<T1, T2>&&) noexcept;

	} // std

	*/

	#include <__config>
	#include <__tuple>
	#include <type_traits>

	#pragma GCC system_header

	_LIBCPP_BEGIN_NAMESPACE_STD

	namespace rel_ops
	{

	template<class _Tp>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator!=(const _Tp& __x, const _Tp& __y)
	{
	return !(__x == __y);
	}

	template<class _Tp>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator> (const _Tp& __x, const _Tp& __y)
	{
	return __y < __x;
	}

	template<class _Tp>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator<=(const _Tp& __x, const _Tp& __y)
	{
	return !(__y < __x);
	}

	template<class _Tp>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator>=(const _Tp& __x, const _Tp& __y)
	{
	return !(__x < __y);
	}

	} // rel_ops

	// swap_ranges

	template <class _ForwardIterator1, class _ForwardIterator2>
	inline _LIBCPP_INLINE_VISIBILITY
	_ForwardIterator2
	swap_ranges(_ForwardIterator1 __first1, _ForwardIterator1 __last1, _ForwardIterator2 __first2)
	{
	for(; __first1 != __last1; ++__first1, ++__first2)
	swap(__first1, __first2);
	return __first2;
	}

	template<class _Tp, size_t _N>
	inline _LIBCPP_INLINE_VISIBILITY
	void
	swap(_Tp (&__a)[_N], _Tp (&__b)[_N])
	_NOEXCEPT_(_NOEXCEPT_(swap(_STD::declval<_Tp&>(), _STD::declval<_Tp&>())))
	{
	_STD::swap_ranges(__a, __a + _N, __b);
	}

	template <class _Tp>
	inline _LIBCPP_INLINE_VISIBILITY
	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
	typename conditional
	<
	!is_nothrow_move_constructible<_Tp>::value && is_copy_constructible<_Tp>::value,
	const _Tp&,
	_Tp&&
	>::type
	#else // _LIBCPP_HAS_NO_RVALUE_REFERENCES
	const _Tp&
	#endif
	move_if_noexcept(_Tp& __x) _NOEXCEPT
	{
	return _STD::move(__x);
	}

	struct _LIBCPP_VISIBLE piecewise_construct_t { };
	//constexpr
	extern const piecewise_construct_t piecewise_construct;// = piecewise_construct_t();

	template <class _T1, class _T2>
	struct _LIBCPP_VISIBLE pair
	{
	typedef _T1 first_type;
	typedef _T2 second_type;

	_T1 first;
	_T2 second;

	// pair(const pair&) = default;
	// pair(pair&&) = default;

	_LIBCPP_INLINE_VISIBILITY pair() : first(), second() {}

	_LIBCPP_INLINE_VISIBILITY pair(const _T1& __x, const _T2& __y)
	: first(__x), second(__y) {}

	template<class _U1, class _U2>
	_LIBCPP_INLINE_VISIBILITY
	pair(const pair<_U1, _U2>& __p,
	typename enable_if<is_convertible<_U1, _T1>::value &&
	is_convertible<_U2, _T2>::value>::type* = 0)
	: first(__p.first), second(__p.second) {}

	_LIBCPP_INLINE_VISIBILITY
	pair& operator=(const pair& __p)
	{
	first = __p.first;
	second = __p.second;
	return *this;
	}

	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <class _U1, class _U2,
	class = typename enable_if<is_convertible<_U1, first_type >::value &&
	is_convertible<_U2, second_type>::value>::type>
	_LIBCPP_INLINE_VISIBILITY
	pair(_U1&& __u1, _U2&& __u2)
	: first(_STD::forward<_U1>(__u1)),
	second(_STD::forward<_U2>(__u2))
	{}

	template<class _U1, class _U2>
	_LIBCPP_INLINE_VISIBILITY
	pair(pair<_U1, _U2>&& __p,
	typename enable_if<is_convertible<_U1, _T1>::value &&
	is_convertible<_U2, _T2>::value>::type* = 0)
	: first(_STD::forward<_U1>(__p.first)),
	second(_STD::forward<_U2>(__p.second)) {}

	_LIBCPP_INLINE_VISIBILITY
	pair&
	operator=(pair&& __p) _NOEXCEPT_(is_nothrow_move_assignable<first_type>::value &&
	is_nothrow_move_assignable<second_type>::value)
	{
	first = _STD::forward<first_type>(__p.first);
	second = _STD::forward<second_type>(__p.second);
	return *this;
	}

	#ifndef _LIBCPP_HAS_NO_VARIADICS

	template<class _Tuple,
	class = typename enable_if<__tuple_convertible<_Tuple, pair>::value>::type>
	_LIBCPP_INLINE_VISIBILITY
	pair(_Tuple&& __p)
	: first(_STD::forward<typename tuple_element<0,
	typename __make_tuple_types<_Tuple>::type>::type>(get<0>(__p))),
	second(_STD::forward<typename tuple_element<1,
	typename __make_tuple_types<_Tuple>::type>::type>(get<1>(__p)))
	{}



	template <class... _Args1, class... _Args2, size_t... _I1, size_t... _I2>
	_LIBCPP_INLINE_VISIBILITY
	pair(piecewise_construct_t __pc, tuple<_Args1...> __first_args,
	tuple<_Args2...> __second_args)
	: pair(__pc, __first_args, __second_args,
	typename __make_tuple_indices<sizeof...(_Args1)>::type(),
	typename __make_tuple_indices<sizeof...(_Args2) >::type())
	{}

	template <class _Tuple,
	class = typename enable_if<__tuple_assignable<_Tuple, pair>::value>::type>
	_LIBCPP_INLINE_VISIBILITY
	pair&
	operator=(_Tuple&& __p)
	{
	typedef typename __make_tuple_types<_Tuple>::type _TupleRef;
	typedef typename tuple_element<0, _TupleRef>::type _U0;
	typedef typename tuple_element<1, _TupleRef>::type _U1;
	first = _STD::forward<_U0>(_STD::get<0>(__p));
	second = _STD::forward<_U1>(_STD::get<1>(__p));
	return *this;
	}

	#endif // _LIBCPP_HAS_NO_VARIADICS

	#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
	_LIBCPP_INLINE_VISIBILITY
	void
	swap(pair& __p) _NOEXCEPT_(
	// _NOEXCEPT_(_STD::iter_swap(&first, &__p.first)) &&
	// _NOEXCEPT_(_STD::iter_swap(&second, &__p.second)))
	_NOEXCEPT_(_STD::iter_swap(&_STD::declval<first_type&>(),
	&_STD::declval<first_type&>())) &&
	_NOEXCEPT_(_STD::iter_swap(&_STD::declval<second_type&>(),
	&_STD::declval<second_type&>())))
	{
	_STD::iter_swap(&first, &__p.first);
	_STD::iter_swap(&second, &__p.second);
	}
	private:

	#ifndef _LIBCPP_HAS_NO_VARIADICS
	template <class... _Args1, class... _Args2, size_t... _I1, size_t... _I2>
	_LIBCPP_INLINE_VISIBILITY
	pair(piecewise_construct_t,
	tuple<_Args1...>& __first_args, tuple<_Args2...>& __second_args,
	__tuple_indices<_I1...>, __tuple_indices<_I2...>);
	#endif // _LIBCPP_HAS_NO_VARIADICS
	};

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator==(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return __x.first == __y.first && __x.second == __y.second;
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator!=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return !(__x == __y);
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator< (const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return __x.first < __y.first \|\| (!(__y.first < __x.first) && __x.second < __y.second);
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator> (const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return __y < __x;
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator>=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return !(__x < __y);
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	bool
	operator<=(const pair<_T1,_T2>& __x, const pair<_T1,_T2>& __y)
	{
	return !(__y < __x);
	}

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	void
	swap(pair<_T1, _T2>& __x, pair<_T1, _T2>& __y)
	// _NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
	_NOEXCEPT_(_NOEXCEPT_((_STD::declval<pair<_T1, _T2>&>().swap(_STD::declval<pair<_T1, _T2>&>()))))
	{
	__x.swap(__y);
	}

	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <class _Tp> class reference_wrapper;

	template <class _Tp>
	struct ___make_pair_return
	{
	typedef _Tp type;
	};

	template <class _Tp>
	struct ___make_pair_return<reference_wrapper<_Tp>>
	{
	typedef _Tp& type;
	};

	template <class _Tp>
	struct __make_pair_return
	{
	typedef typename ___make_pair_return<typename decay<_Tp>::type>::type type;
	};

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	pair<typename __make_pair_return<_T1>::type, typename __make_pair_return<_T2>::type>
	make_pair(_T1&& __t1, _T2&& __t2)
	{
	return pair<typename __make_pair_return<_T1>::type, typename __make_pair_return<_T2>::type>
	(_STD::forward<_T1>(__t1), _STD::forward<_T2>(__t2));
	}

	#else // _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <class _T1, class _T2>
	inline _LIBCPP_INLINE_VISIBILITY
	pair<_T1,_T2>
	make_pair(_T1 __x, _T2 __y)
	{
	return pair<_T1, _T2>(__x, __y);
	}

	#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES

	#ifndef _LIBCPP_HAS_NO_VARIADICS

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_size<pair<_T1, _T2> >
	: public integral_constant<size_t, 2> {};

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_size<const pair<_T1, _T2> >
	: public integral_constant<size_t, 2> {};

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_element<0, pair<_T1, _T2> >
	{
	public:
	typedef _T1 type;
	};

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_element<1, pair<_T1, _T2> >
	{
	public:
	typedef _T2 type;
	};

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_element<0, const pair<_T1, _T2> >
	{
	public:
	typedef const _T1 type;
	};

	template <class _T1, class _T2>
	class _LIBCPP_VISIBLE tuple_element<1, const pair<_T1, _T2> >
	{
	public:
	typedef const _T2 type;
	};

	template <size_t _Ip> struct __get_pair;

	template <>
	struct __get_pair<0>
	{
	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	_T1&
	get(pair<_T1, _T2>& __p) {return __p.first;}

	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	const _T1&
	get(const pair<_T1, _T2>& __p) {return __p.first;}

	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	_T1&&
	get(pair<_T1, _T2>&& __p) {return _STD::forward<_T1>(__p.first);}

	#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
	};

	template <>
	struct __get_pair<1>
	{
	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	_T2&
	get(pair<_T1, _T2>& __p) {return __p.second;}

	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	const _T2&
	get(const pair<_T1, _T2>& __p) {return __p.second;}

	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <class _T1, class _T2>
	static
	_LIBCPP_INLINE_VISIBILITY
	_T2&&
	get(pair<_T1, _T2>&& __p) {return _STD::forward<_T2>(__p.second);}

	#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
	};

	template <size_t _Ip, class _T1, class _T2>
	_LIBCPP_INLINE_VISIBILITY inline
	typename tuple_element<_Ip, pair<_T1, _T2> >::type&
	get(pair<_T1, _T2>& __p)
	{
	return __get_pair<_Ip>::get(__p);
	}

	template <size_t _Ip, class _T1, class _T2>
	_LIBCPP_INLINE_VISIBILITY inline
	const typename tuple_element<_Ip, pair<_T1, _T2> >::type&
	get(const pair<_T1, _T2>& __p)
	{
	return __get_pair<_Ip>::get(__p);
	}

	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES

	template <size_t _Ip, class _T1, class _T2>
	_LIBCPP_INLINE_VISIBILITY inline
	typename tuple_element<_Ip, pair<_T1, _T2> >::type&&
	get(pair<_T1, _T2>&& __p)
	{
	return __get_pair<_Ip>::get(_STD::move(__p));
	}

	#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES

	#endif // _LIBCPP_HAS_NO_VARIADICS

	_LIBCPP_END_NAMESPACE_STD

	#endif // _LIBCPP_UTILITY