casadi 3.6.4__cp39-none-manylinux2014_aarch64.whl → 3.6.6__cp39-none-manylinux2014_aarch64.whl

casadi/include/include/proxsuite/linalg/veg/type_traits/core.hpp

@@ -1,298 +0,0 @@
-#ifndef VEG_CORE_HPP_GJCBNFLAS
-#define VEG_CORE_HPP_GJCBNFLAS
-
-#include "proxsuite/linalg/veg/internal/typedefs.hpp"
-#include "proxsuite/linalg/veg/internal/integer_seq.hpp"
-#include "proxsuite/linalg/veg/internal/prologue.hpp"
-
-#if defined(VEG_WITH_CXX20_SUPPORT) &&                                         \
-  !VEG_HAS_BUILTIN(__builtin_is_constant_evaluated)
-#include <type_traits>
-#define VEG_HAS_CONSTEVAL 1
-#define VEG_IS_CONSTEVAL() ::std::is_constant_evaluated()
-#elif VEG_HAS_BUILTIN(__builtin_is_constant_evaluated)
-#define VEG_HAS_CONSTEVAL 1
-#define VEG_IS_CONSTEVAL() __builtin_is_constant_evaluated()
-#else
-#define VEG_HAS_CONSTEVAL 0
-#endif
-
-namespace proxsuite {
-namespace linalg {
-namespace veg {
-namespace meta {
-namespace nb {
-struct is_consteval
-{
-  constexpr auto operator()() const noexcept -> bool
-  {
-#if VEG_HAS_CONSTEVAL
-    return VEG_IS_CONSTEVAL();
-#else
-    return true;
-#endif
-  }
-};
-} // namespace nb
-VEG_NIEBLOID(is_consteval);
-} // namespace meta
-
-namespace _detail {
-namespace _meta {
-template<bool B>
-struct conditional_;
-template<>
-struct conditional_<true>
-{
-  template<typename T, typename F>
-  using type = T;
-};
-template<>
-struct conditional_<false>
-{
-  template<typename T, typename F>
-  using type = F;
-};
-struct none
-{};
-} // namespace _meta
-} // namespace _detail
-
-namespace meta {
-
-template<template<typename...> class F, typename... Ts>
-struct meta_apply
-{
-  using type = F<Ts...>;
-};
-template<template<typename...> class F>
-struct apply_wrapper
-{
-  template<typename... Ts>
-  using type = F<Ts...>;
-};
-template<typename T>
-struct type_identity
-{
-  using type = T;
-};
-template<typename T>
-using type_identity_t = typename type_identity<T>::type;
-
-template<bool B, typename T, typename F>
-using if_t = typename _detail::_meta::conditional_<B>::template type<T, F>;
-
-template<typename...>
-using void_t = void;
-
-template<typename... Preds>
-struct disjunction;
-template<typename... Preds>
-struct conjunction;
-
-template<>
-struct disjunction<> : false_type
-{};
-template<>
-struct conjunction<> : true_type
-{};
-
-template<typename First, typename... Preds>
-struct disjunction<First, Preds...>
-  : if_t<First::value, First, disjunction<Preds...>>
-{};
-
-template<typename First, typename... Preds>
-struct conjunction<First, Preds...>
-  : if_t<First::value, conjunction<Preds...>, First>
-{};
-} // namespace meta
-
-namespace _detail {
-namespace _meta {
-
-template<typename T>
-struct decay_helper : meta::type_identity<T>
-{};
-template<typename Ret, typename... Args>
-struct decay_helper<Ret(Args...)> : meta::type_identity<Ret (*)(Args...)>
-{};
-#if defined(VEG_WITH_CXX17_SUPPORT)
-template<typename Ret, typename... Args>
-struct decay_helper<Ret(Args...) noexcept>
-  : meta::type_identity<Ret (*)(Args...) noexcept>
-{};
-#endif
-template<typename T, usize N>
-struct decay_helper<T[N]> : meta::type_identity<T*>
-{};
-
-using namespace meta;
-
-#if defined(VEG_WITH_CXX14_SUPPORT)
-
-template<typename Enable, template<typename...> class Ftor, typename... Args>
-constexpr bool _is_detected_v = false;
-template<template<typename...> class Ftor, typename... Args>
-constexpr bool _is_detected_v<meta::void_t<Ftor<Args...>>, Ftor, Args...> =
-  true;
-
-template<template<typename...> class Op, typename... Args>
-constexpr bool is_detected_v = _is_detected_v<void, Op, Args...>;
-
-#else
-
-template<typename Enable, template<typename...> class Ftor, typename... Args>
-struct _detector
-{
-  using value_type = false_type;
-};
-template<template<typename...> class Ftor, typename... Args>
-struct _detector<meta::void_t<Ftor<Args...>>, Ftor, Args...>
-{
-  using value_type = true_type;
-};
-
-template<typename Default, template<typename...> class Ftor, typename... Args>
-struct detector : _detector<void, Ftor, Args...>
-{};
-
-template<template<typename...> class Op, typename... Args>
-using is_detected = typename detector<_meta::none, Op, Args...>::value_type;
-
-#endif
-
-template<typename T>
-struct is_pointer
-  : false_type
-  , type_identity<T>
-{};
-template<typename T>
-struct is_pointer<T*>
-  : true_type
-  , type_identity<T>
-{};
-
-template<typename Base>
-struct baseof_wrapper : wrapper_base
-{
-  using wrapper_base::test;
-  static auto test(Base const volatile*) -> true_type;
-};
-
-template<typename Base, typename Derived>
-using is_base_of =
-  decltype(baseof_wrapper<Base>::test(static_cast<Derived>(nullptr)));
-
-template<typename T>
-struct is_lvalue_reference : false_type
-{};
-template<typename T>
-struct is_lvalue_reference<T&> : true_type
-{};
-template<typename T>
-struct is_rvalue_reference : false_type
-{};
-template<typename T>
-struct is_rvalue_reference<T&&> : true_type
-{};
-
-template<typename T>
-struct is_const : false_type
-{};
-template<typename T>
-struct is_const<T const> : true_type
-{};
-
-template<typename T, typename = true_type>
-struct is_complete : false_type
-{};
-template<typename T>
-struct is_complete<T, bool_constant<sizeof(T) == sizeof(T)> /* NOLINT */>
-  : true_type
-{};
-
-} // namespace _meta
-} // namespace _detail
-
-namespace concepts {
-using meta::conjunction;
-using meta::disjunction;
-
-#if defined(VEG_WITH_CXX20_SUPPORT)
-VEG_DEF_CONCEPT((template<typename...> class Op, typename... Args),
-                detected,
-                requires { typename Op<Args...>; });
-#elif defined(VEG_WITH_CXX14_SUPPORT)
-VEG_DEF_CONCEPT((template<typename...> class Op, typename... Args),
-                detected,
-                _detail::_meta::is_detected_v<Op, Args...>);
-#else
-VEG_DEF_CONCEPT((template<typename...> class Op, typename... Args),
-                detected,
-                _detail::_meta::is_detected<Op, Args...>::value);
-#endif
-
-VEG_DEF_CONCEPT_BUILTIN_OR_INTERNAL((typename T, typename U), base_of, T, U);
-
-VEG_DEF_CONCEPT(typename T,
-                const_type,
-                VEG_HAS_BUILTIN_OR(__is_const,
-                                   __is_const(T),
-                                   (_detail::_meta::is_const<T>::value)));
-VEG_DEF_CONCEPT(typename T,
-                void_type,
-                VEG_CONCEPT(same<void const volatile, T const volatile>));
-
-// can't use __is_pointer because of <bits/cpp_type_traits.h> header
-VEG_DEF_CONCEPT(typename T, pointer, _detail::_meta::is_pointer<T>::value);
-
-VEG_DEF_CONCEPT_BUILTIN_OR_INTERNAL(typename T, lvalue_reference, T);
-VEG_DEF_CONCEPT_BUILTIN_OR_INTERNAL(typename T, rvalue_reference, T);
-VEG_DEF_CONCEPT(typename T,
-                reference,
-                (VEG_CONCEPT(lvalue_reference<T>) ||
-                 VEG_CONCEPT(rvalue_reference<T>)));
-
-#if VEG_HAS_BUILTIN(__is_complete_type)
-VEG_DEF_CONCEPT(typename T, complete, __is_complete_type(T));
-#else
-VEG_DEF_CONCEPT(typename T, complete, _detail::_meta::is_complete<T>::value);
-#endif
-
-} // namespace concepts
-
-namespace meta {
-
-template<typename T>
-using unref_t = typename _detail::_meta::unref<T&>::type;
-template<typename T>
-using unptr_t = typename _detail::_meta::is_pointer<T>::type;
-
-template<typename Default, template<typename...> class Op, typename... Args>
-using detected_or_t = typename meta::if_t<VEG_CONCEPT(detected<Op, Args...>),
-                                          meta::meta_apply<Op, Args...>,
-                                          meta::type_identity<Default>>::type;
-
-template<template<typename...> class Op, typename... Args>
-using detected_t = detected_or_t<_detail::_meta::none, Op, Args...>;
-
-#ifdef __clang__
-template<template<typename...> class Op, typename... Args>
-using detected_return_t = Op<Args...>;
-#else
-template<template<typename...> class Op, typename... Args>
-using detected_return_t = detected_or_t<_detail::_meta::none, Op, Args...>;
-#endif
-
-template<typename T>
-using decay_t = typename _detail::_meta::decay_helper<uncvref_t<T>>::type;
-} // namespace meta
-template<typename T>
-using DoNotDeduce = meta::type_identity_t<T>;
-} // namespace veg
-} // namespace linalg
-} // namespace proxsuite
-
-#include "proxsuite/linalg/veg/internal/epilogue.hpp"
-#endif /* end of include guard VEG_CORE_HPP_GJCBNFLAS */

casadi/include/include/proxsuite/linalg/veg/type_traits/invocable.hpp

@@ -1,47 +0,0 @@
-#ifndef VEG_INVOCABLE_HPP_GVSWRKAYS
-#define VEG_INVOCABLE_HPP_GVSWRKAYS
-
-#include "proxsuite/linalg/veg/type_traits/core.hpp"
-#include "proxsuite/linalg/veg/type_traits/constructible.hpp"
-#include "proxsuite/linalg/veg/internal/prologue.hpp"
-
-namespace proxsuite {
-namespace linalg {
-namespace veg {
-namespace _detail {
-namespace _meta {
-template<typename Fn, typename... Args>
-using call_expr = decltype(VEG_DECLVAL(Fn &&)(VEG_DECLVAL(Args &&)...));
-} // namespace _meta
-} // namespace _detail
-namespace meta {
-template<typename Fn, typename... Args>
-using invoke_result_t =
-  meta::detected_t<_detail::_meta::call_expr, Fn&&, Args&&...>;
-} // namespace meta
-
-namespace concepts {
-VEG_CONCEPT_EXPR((typename Fn, typename Ret, typename... Args),
-                 (Fn, Ret, Args...),
-                 fn_once,
-                 VEG_DECLVAL(Fn&&)(VEG_DECLVAL(Args&&)...),
-                 VEG_CONCEPT(same<ExprType, Ret>));
-
-VEG_CONCEPT_EXPR((typename Fn, typename Ret, typename... Args),
-                 (Fn, Ret, Args...),
-                 fn_mut,
-                 VEG_DECLVAL(Fn&)(VEG_DECLVAL(Args&&)...),
-                 VEG_CONCEPT(same<ExprType, Ret>));
-
-VEG_CONCEPT_EXPR((typename Fn, typename Ret, typename... Args),
-                 (Fn, Ret, Args...),
-                 fn,
-                 VEG_DECLVAL(Fn const&)(VEG_DECLVAL(Args&&)...),
-                 VEG_CONCEPT(same<ExprType, Ret>));
-} // namespace concepts
-} // namespace veg
-} // namespace linalg
-} // namespace proxsuite
-
-#include "proxsuite/linalg/veg/internal/epilogue.hpp"
-#endif /* end of include guard VEG_INVOCABLE_HPP_GVSWRKAYS */

casadi/include/include/proxsuite/linalg/veg/type_traits/primitives.hpp

@@ -1,43 +0,0 @@
-#ifndef VEG_PRIMITIVES_HPP_A8O6GDV1S
-#define VEG_PRIMITIVES_HPP_A8O6GDV1S
-
-#include "proxsuite/linalg/veg/type_traits/core.hpp"
-#include "proxsuite/linalg/veg/internal/prologue.hpp"
-
-#if !VEG_HAS_BUILTIN(__is_integral) ||                                         \
-  !VEG_HAS_BUILTIN(__is_floating_point) || !(VEG_HAS_BUILTIN(__is_enum))
-#include <type_traits>
-#endif
-
-namespace proxsuite {
-namespace linalg {
-namespace veg {
-namespace concepts {
-namespace aux {
-VEG_DEF_CONCEPT(typename T, no_wraps_around, (T(-1) <= T(0)));
-VEG_DEF_CONCEPT(typename T, wraps_around, (T(-1) > T(0)));
-} // namespace aux
-
-VEG_DEF_CONCEPT(typename T,
-                enum_type,
-                VEG_HAS_BUILTIN_OR(__is_enum,
-                                   __is_enum(T),
-                                   std::is_enum<T>::value));
-VEG_DEF_CONCEPT_FROM_BUILTIN_OR_STD(typename T, integral, T);
-VEG_DEF_CONCEPT_FROM_BUILTIN_OR_STD(typename T, floating_point, T);
-VEG_DEF_CONCEPT_DISJUNCTION(typename T,
-                            arithmetic,
-                            ((, integral<T>), (, floating_point<T>)));
-VEG_DEF_CONCEPT_CONJUNCTION(typename T,
-                            signed_integral,
-                            ((, integral<T>), (aux::, no_wraps_around<T>)));
-VEG_DEF_CONCEPT_CONJUNCTION(typename T,
-                            unsigned_integral,
-                            ((, integral<T>), (aux::, wraps_around<T>)));
-} // namespace concepts
-} // namespace veg
-} // namespace linalg
-} // namespace proxsuite
-
-#include "proxsuite/linalg/veg/internal/epilogue.hpp"
-#endif /* end of include guard VEG_PRIMITIVES_HPP_A8O6GDV1S */

casadi/include/include/proxsuite/linalg/veg/type_traits/tags.hpp

@@ -1,47 +0,0 @@
-#ifndef VEG_TAGS_HPP_FYDE7Q6ZS
-#define VEG_TAGS_HPP_FYDE7Q6ZS
-
-#include "proxsuite/linalg/veg/type_traits/core.hpp"
-#include "proxsuite/linalg/veg/internal/prologue.hpp"
-
-namespace proxsuite {
-namespace linalg {
-namespace veg {
-inline namespace tags {
-VEG_TAG_TEMPLATE(typename T, tag, Tag, T);
-VEG_TAG(as_ref, AsRef);
-VEG_TAG(as_mut, AsMut);
-VEG_TAG(from, From);
-VEG_TAG(from_i, FromI);
-VEG_TAG(as_ref_once, AsRefOnce);
-
-VEG_TAG(from_alloc, FromAlloc);
-VEG_TAG(from_alloc_and_value, FromAllocAndValue);
-
-VEG_TAG(from_slice, FromSlice);
-VEG_TAG(from_slice_mut, FromSliceMut);
-template<typename Tag>
-struct InPlace
-{
-  InPlace() = default;
-};
-
-template<>
-struct InPlace<void>
-{
-  InPlace() = default;
-  template<typename Tag>
-  VEG_INLINE constexpr auto operator[](Tag /*tag*/) const noexcept
-    -> InPlace<Tag>
-  {
-    return InPlace<Tag>{};
-  }
-};
-VEG_INLINE_VAR(inplace, InPlace<void>);
-} // namespace tags
-} // namespace veg
-} // namespace linalg
-} // namespace proxsuite
-
-#include "proxsuite/linalg/veg/internal/epilogue.hpp"
-#endif /* end of include guard VEG_TAGS_HPP_FYDE7Q6ZS */

casadi/include/include/proxsuite/linalg/veg/util/assert.hpp

@@ -1,48 +0,0 @@
-#include "proxsuite/linalg/veg/internal/assert_impl.hpp"
-
-#ifdef VEG_DEBUG_ASSERT
-#undef VEG_DEBUG_ASSERT
-#endif
-#ifdef VEG_DEBUG_EXPECT
-#undef VEG_DEBUG_EXPECT
-#endif
-#ifdef VEG_DEBUG_ASSERT_ELSE
-#undef VEG_DEBUG_ASSERT_ELSE
-#endif
-#ifdef VEG_DEBUG_EXPECT_ELSE
-#undef VEG_DEBUG_EXPECT_ELSE
-#endif
-#ifdef VEG_DEBUG_ASSERT_ALL_OF
-#undef VEG_DEBUG_ASSERT_ALL_OF
-#endif
-#ifdef VEG_DEBUG_EXPECT_ALL_OF
-#undef VEG_DEBUG_EXPECT_ALL_OF
-#endif
-#ifdef VEG_DEBUG_ASSERT_ALL_OF_ELSE
-#undef VEG_DEBUG_ASSERT_ALL_OF_ELSE
-#endif
-#ifdef VEG_DEBUG_EXPECT_ALL_OF_ELSE
-#undef VEG_DEBUG_EXPECT_ALL_OF_ELSE
-#endif
-
-#ifdef NDEBUG
-#define VEG_DEBUG_ASSERT(...) ((void)(0))
-#define VEG_DEBUG_EXPECT(...) ((void)(0))
-#define VEG_DEBUG_ASSERT_ELSE(Message, ...) ((void)(0))
-#define VEG_DEBUG_EXPECT_ELSE(Message, ...) ((void)(0))
-#define VEG_DEBUG_ASSERT_ALL_OF(...) ((void)(0))
-#define VEG_DEBUG_EXPECT_ALL_OF(...) ((void)(0))
-#define VEG_DEBUG_ASSERT_ALL_OF_ELSE(...) ((void)(0))
-#define VEG_DEBUG_EXPECT_ALL_OF_ELSE(...) ((void)(0))
-#else
-#define VEG_DEBUG_ASSERT(...) VEG_ASSERT(__VA_ARGS__)
-#define VEG_DEBUG_EXPECT(...) VEG_EXPECT(__VA_ARGS__)
-#define VEG_DEBUG_ASSERT_ELSE(Message, ...)                                    \
-  VEG_ASSERT_ELSE(Message, __VA_ARGS__)
-#define VEG_DEBUG_EXPECT_ELSE(Message, ...)                                    \
-  VEG_EXPECT_ELSE(Message, __VA_ARGS__)
-#define VEG_DEBUG_ASSERT_ALL_OF(...) VEG_ASSERT_ALL_OF(__VA_ARGS__)
-#define VEG_DEBUG_EXPECT_ALL_OF(...) VEG_EXPECT_ALL_OF(__VA_ARGS__)
-#define VEG_DEBUG_ASSERT_ALL_OF_ELSE(...) VEG_ASSERT_ALL_OF_ELSE(__VA_ARGS__)
-#define VEG_DEBUG_EXPECT_ALL_OF_ELSE(...) VEG_EXPECT_ALL_OF_ELSE(__VA_ARGS__)
-#endif

casadi/include/include/proxsuite/linalg/veg/util/dbg.hpp

@@ -1,6 +0,0 @@
-#ifndef VEG_DBG_HPP_Z7QC9XCHS
-#define VEG_DBG_HPP_Z7QC9XCHS
-
-#include "proxsuite/linalg/veg/internal/dbg.hpp"
-
-#endif /* end of include guard VEG_DBG_HPP_Z7QC9XCHS */

casadi/include/include/proxsuite/linalg/veg/util/defer.hpp

@@ -1,57 +0,0 @@
-#ifndef VEG_DEFER_HPP_SQPONLRGS
-#define VEG_DEFER_HPP_SQPONLRGS
-
-#include "proxsuite/linalg/veg/type_traits/constructible.hpp"
-#include "proxsuite/linalg/veg/type_traits/invocable.hpp"
-#include "proxsuite/linalg/veg/internal/prologue.hpp"
-
-namespace proxsuite {
-namespace linalg {
-namespace veg {
-template<typename Fn>
-struct VEG_NODISCARD Defer
-{
-  Fn fn;
-  constexpr Defer(Fn _fn) VEG_NOEXCEPT_IF(VEG_CONCEPT(nothrow_movable<Fn>))
-    : fn(VEG_FWD(_fn))
-  {
-  }
-  Defer(Defer const&) = delete;
-  Defer(Defer&&) VEG_NOEXCEPT = delete;
-  auto operator=(Defer const&) -> Defer& = delete;
-  auto operator=(Defer&&) VEG_NOEXCEPT->Defer& = delete;
-  VEG_CPP20(constexpr)
-  VEG_INLINE ~Defer()
-    VEG_NOEXCEPT_IF(VEG_NOEXCEPT_IF(VEG_CONCEPT(nothrow_fn_once<Fn, void>)))
-  {
-    VEG_FWD(fn)();
-  }
-};
-VEG_CPP17(
-
-  template<typename Fn> Defer(Fn) -> Defer<Fn>;
-
-)
-
-namespace nb {
-struct defer
-{
-  VEG_TEMPLATE(typename Fn,
-               requires(VEG_CONCEPT(fn_once<Fn, void>)),
-               VEG_INLINE VEG_CPP20(constexpr) auto
-               operator(),
-               (fn, Fn&&))
-  const VEG_NOEXCEPT_IF(VEG_CONCEPT(nothrow_movable<Fn>))
-    ->proxsuite::linalg::veg::Defer<Fn>
-  {
-    return { VEG_FWD(fn) };
-  }
-};
-} // namespace nb
-VEG_NIEBLOID(defer);
-} // namespace veg
-} // namespace linalg
-} // namespace proxsuite
-
-#include "proxsuite/linalg/veg/internal/epilogue.hpp"
-#endif /* end of include guard VEG_DEFER_HPP_SQPONLRGS */

casadi/include/include/proxsuite/linalg/veg/util/dynstack_alloc.hpp

@@ -1,19 +0,0 @@
-#ifndef VEG_DYNSTACK_ALLOC_HPP_YYWN4MATS
-#define VEG_DYNSTACK_ALLOC_HPP_YYWN4MATS
-
-#include "proxsuite/linalg/veg/vec.hpp"
-#include "proxsuite/linalg/veg/memory/dynamic_stack.hpp"
-
-#define __VEG_IMPL_MAKE_STACK(vec, stack, ...)                                 \
-  VEG_NOM_SEMICOLON;                                                           \
-  ::proxsuite::linalg::veg::Vec<unsigned char> vec;                            \
-  vec.resize_for_overwrite((__VA_ARGS__).alloc_req());                         \
-  ::proxsuite::linalg::veg::dynstack::DynStackMut stack{                       \
-    ::proxsuite::linalg::veg::tags::from_slice_mut, vec.as_mut()               \
-  };                                                                           \
-  VEG_NOM_SEMICOLON
-
-#define VEG_MAKE_STACK(stack, ...)                                             \
-  __VEG_IMPL_MAKE_STACK(VEG_ID(stack_storage), stack, __VA_ARGS__)
-
-#endif /* end of include guard VEG_DYNSTACK_ALLOC_HPP_YYWN4MATS */