assignable.hpp

Go to the documentation of this file.

#ifndef VEG_ASSIGNABLE_HPP_4ZNCRTO7S
#define VEG_ASSIGNABLE_HPP_4ZNCRTO7S
 
#include "proxsuite/linalg/veg/type_traits/core.hpp"
#include "proxsuite/linalg/veg/internal/prologue.hpp"
 
#if !VEG_HAS_BUILTIN(__is_trivially_assignable) ||                             \
  !VEG_HAS_BUILTIN(__is_assignable) ||                                         \
  !VEG_HAS_BUILTIN(__is_nothrow_assignable)
#include <type_traits>
#endif
 
namespace proxsuite {
namespace linalg {
namespace veg {
namespace concepts {
 
VEG_DEF_CONCEPT_FROM_BUILTIN_OR_STD((typename T, typename U), assignable, T, U);
VEG_DEF_CONCEPT_FROM_BUILTIN_OR_STD((typename T, typename U),
                                    nothrow_assignable,
                                    T&&,
                                    U&&);
 
VEG_DEF_CONCEPT_FROM_BUILTIN_OR_TRAIT(typename T,
                                      trivially_copy_assignable,
                                      is_trivially_assignable,
                                      T&,
                                      T const&);
VEG_DEF_CONCEPT_FROM_BUILTIN_OR_TRAIT(typename T,
                                      trivially_move_assignable,
                                      is_trivially_assignable,
                                      T&,
                                      T&&);
 
VEG_DEF_CONCEPT(typename T, move_assignable, VEG_CONCEPT(assignable<T&, T&&>));
VEG_DEF_CONCEPT(typename T,
                nothrow_move_assignable,
                VEG_CONCEPT(nothrow_assignable<T&, T&&>));
 
VEG_DEF_CONCEPT(typename T,
                copy_assignable,
                VEG_CONCEPT(assignable<T&, T const&>));
VEG_DEF_CONCEPT(typename T,
                nothrow_copy_assignable,
                VEG_CONCEPT(nothrow_assignable<T&, T const&>));
 
} // namespace concepts
} // namespace veg
} // namespace linalg
} // namespace proxsuite
 
#include "proxsuite/linalg/veg/internal/epilogue.hpp"
#endif /* end of include guard VEG_ASSIGNABLE_HPP_4ZNCRTO7S */