Skip to content

[linalg] Index defined-in-class functions and related class members #8557

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Nov 28, 2025
Merged

[linalg] Index defined-in-class functions and related class members #8557

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
84 changes: 42 additions & 42 deletions source/numerics.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12051,17 +12051,17 @@
template<class Triangle, class StorageOrder>
class @\libglobal{layout_blas_packed}@ {
public:
using triangle_type = Triangle;
using storage_order_type = StorageOrder;
using @\libmember{triangle_type}{layout_blas_packed}@ = Triangle;
using @\libmember{storage_order_type}{layout_blas_packed}@ = StorageOrder;

template<class Extents>
struct mapping {
struct @\libmember{mapping}{layout_blas_packed}@ {
public:
using extents_type = Extents;
using index_type = extents_type::index_type;
using size_type = extents_type::size_type;
using rank_type = extents_type::rank_type;
using layout_type = layout_blas_packed;
using @\libmember{extents_type}{layout_blas_packed::mapping}@ = Extents;
using @\libmember{index_type}{layout_blas_packed::mapping}@ = extents_type::index_type;
using @\libmember{size_type}{layout_blas_packed::mapping}@ = extents_type::size_type;
using @\libmember{rank_type}{layout_blas_packed::mapping}@ = extents_type::rank_type;
using @\libmember{layout_type}{layout_blas_packed::mapping}@ = layout_blas_packed;

// \ref{linalg.layout.packed.cons}, constructors
constexpr mapping() noexcept = default;
Expand All @@ -12074,28 +12074,28 @@
constexpr mapping& operator=(const mapping&) noexcept = default;

// \ref{linalg.layout.packed.obs}, observers
constexpr const extents_type& extents() const noexcept { return @\exposid{extents_}@; }
constexpr const extents_type& @\libmember{extents}{layout_blas_packed::mapping}@() const noexcept { return @\exposid{extents_}@; }

constexpr index_type required_span_size() const noexcept;

template<class Index0, class Index1>
constexpr index_type operator() (Index0 ind0, Index1 ind1) const noexcept;

static constexpr bool is_always_unique() noexcept {
static constexpr bool @\libmember{is_always_unique}{layout_blas_packed::mapping}@() noexcept {
return (extents_type::static_extent(0) != dynamic_extent &&
extents_type::static_extent(0) < 2) ||
(extents_type::static_extent(1) != dynamic_extent &&
extents_type::static_extent(1) < 2);
}
static constexpr bool is_always_exhaustive() noexcept { return true; }
static constexpr bool is_always_strided() noexcept
static constexpr bool @\libmember{is_always_exhaustive}{layout_blas_packed::mapping}@() noexcept { return true; }
static constexpr bool @\libmember{is_always_strided}{layout_blas_packed::mapping}@() noexcept
{ return is_always_unique(); }

constexpr bool is_unique() const noexcept {
constexpr bool @\libmember{is_unique}{layout_blas_packed::mapping}@() const noexcept {
return @\exposid{extents_}@.extent(0) < 2;
}
constexpr bool is_exhaustive() const noexcept { return true; }
constexpr bool is_strided() const noexcept {
constexpr bool @\libmember{is_exhaustive}{layout_blas_packed::mapping}@() const noexcept { return true; }
constexpr bool @\libmember{is_strided}{layout_blas_packed::mapping}@() const noexcept {
return @\exposid{extents_}@.extent(0) < 2;
}

Expand Down Expand Up @@ -12604,11 +12604,11 @@
template<class ScalingFactor, class NestedAccessor>
class @\libglobal{scaled_accessor}@ {
public:
using element_type =
using @\libmember{element_type}{scaled_accessor}@ =
const decltype(declval<ScalingFactor>() * declval<NestedAccessor::element_type>());
using reference = remove_const_t<element_type>;
using data_handle_type = NestedAccessor::data_handle_type;
using offset_policy = scaled_accessor<ScalingFactor, NestedAccessor::offset_policy>;
using @\libmember{reference}{scaled_accessor}@ = remove_const_t<element_type>;
using @\libmember{data_handle_type}{scaled_accessor}@ = NestedAccessor::data_handle_type;
using @\libmember{offset_policy}{scaled_accessor}@ = scaled_accessor<ScalingFactor, NestedAccessor::offset_policy>;

constexpr scaled_accessor() = default;
template<class OtherNestedAccessor>
Expand Down Expand Up @@ -12776,11 +12776,11 @@
template<class NestedAccessor>
class @\libglobal{conjugated_accessor}@ {
public:
using element_type =
using @\libmember{element_type}{conjugated_accessor}@ =
const decltype(@\exposid{conj-if-needed}@(declval<NestedAccessor::element_type>()));
using reference = remove_const_t<element_type>;
using data_handle_type = NestedAccessor::data_handle_type;
using offset_policy = conjugated_accessor<NestedAccessor::offset_policy>;
using @\libmember{reference}{conjugated_accessor}@ = remove_const_t<element_type>;
using @\libmember{data_handle_type}{conjugated_accessor}@ = NestedAccessor::data_handle_type;
using @\libmember{offset_policy}{conjugated_accessor}@ = conjugated_accessor<NestedAccessor::offset_policy>;

constexpr conjugated_accessor() = default;
constexpr conjugated_accessor(const NestedAccessor& acc);
Expand All @@ -12793,7 +12793,7 @@
constexpr typename offset_policy::data_handle_type
offset(data_handle_type p, size_t i) const;

constexpr const NestedAccessor& nested_accessor() const noexcept { return @\exposid{nested-accessor_}@; }
constexpr const NestedAccessor& @\libmember{nested_accessor}{conjugated_accessor}@() const noexcept { return @\exposid{nested-accessor_}@; }

private:
NestedAccessor @\exposid{nested-accessor_}@{}; // \expos
Expand Down Expand Up @@ -12996,45 +12996,45 @@
template<class Layout>
class @\libglobal{layout_transpose}@ {
public:
using nested_layout_type = Layout;
using @\libmember{nested_layout_type}{layout_transpose}@ = Layout;

template<class Extents>
struct mapping {
struct @\libmember{mapping}{layout_transpose}@ {
private:
using @\exposid{nested-mapping-type}@ =
Layout::template mapping<@\exposid{transpose-extents-t}@<Extents>>; // \expos

public:
using extents_type = Extents;
using index_type = extents_type::index_type;
using size_type = extents_type::size_type;
using rank_type = extents_type::rank_type;
using layout_type = layout_transpose;
using @\libmember{extents_type}{layout_transpose::mapping}@ = Extents;
using @\libmember{index_type}{layout_transpose::mapping}@ = extents_type::index_type;
using @\libmember{size_type}{layout_transpose::mapping}@ = extents_type::size_type;
using @\libmember{rank_type}{layout_transpose::mapping}@ = extents_type::rank_type;
using @\libmember{layout_type}{layout_transpose::mapping}@ = layout_transpose;

constexpr explicit mapping(const @\exposid{nested-mapping-type}@&);

constexpr const extents_type& extents() const noexcept { return @\exposid{extents_}@; }
constexpr const extents_type& @\libmember{extents}{layout_transpose::mapping}@() const noexcept { return @\exposid{extents_}@; }

constexpr index_type required_span_size() const
{ return @\exposid{nested-mapping_}@.required_span_size();
constexpr index_type @\libmember{required_span_size}{layout_transpose::mapping}@() const
{ return @\exposid{nested-mapping_}@.required_span_size(); }

template<class Index0, class Index1>
constexpr index_type operator()(Index0 ind0, Index1 ind1) const
constexpr index_type @\libmember{operator()}{layout_transpose::mapping}@(Index0 ind0, Index1 ind1) const
{ return @\exposid{nested-mapping_}@(ind1, ind0); }

constexpr const @\exposid{nested-mapping-type}@& nested_mapping() const noexcept
constexpr const @\exposid{nested-mapping-type}@& @\libmember{nested_mapping}{layout_transpose::mapping}@() const noexcept
{ return @\exposid{nested-mapping_}@; }

static constexpr bool is_always_unique() noexcept
static constexpr bool @\libmember{is_always_unique}{layout_transpose::mapping}@() noexcept
{ return @\exposid{nested-mapping-type}@::is_always_unique(); }
static constexpr bool is_always_exhaustive() noexcept
static constexpr bool @\libmember{is_always_exhaustive}{layout_transpose::mapping}@() noexcept
{ return @\exposid{nested-mapping-type}@::is_always_exhaustive(); }
static constexpr bool is_always_strided() noexcept
static constexpr bool @\libmember{is_always_strided}{layout_transpose::mapping}@() noexcept
{ return @\exposid{nested-mapping-type}@::is_always_strided(); }

constexpr bool is_unique() const { return @\exposid{nested-mapping_}@.is_unique(); }
constexpr bool is_exhaustive() const { return @\exposid{nested-mapping_}@.is_exhaustive(); }
constexpr bool is_strided() const { return @\exposid{nested-mapping_}@.is_strided(); }
constexpr bool @\libmember{is_unique}{layout_transpose::mapping}@() const { return @\exposid{nested-mapping_}@.is_unique(); }
constexpr bool @\libmember{is_exhaustive}{layout_transpose::mapping}@() const { return @\exposid{nested-mapping_}@.is_exhaustive(); }
constexpr bool @\libmember{is_strided}{layout_transpose::mapping}@() const { return @\exposid{nested-mapping_}@.is_strided(); }

constexpr index_type stride(size_t r) const;

Expand Down