update automatically

Author: cpprefjp-autoupdate

reference/mdspan/layout_left_padded/mapping.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-29T13:39:29">
-        2024年07月29日 13時39分29秒
+      <span itemprop="datePublished" content="2024-08-04T12:32:09">
+        2024年08月04日 12時32分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -235,6 +235,12 @@
 <h2>概要</h2>
 <p><code>layout_left_padded&lt;S&gt;::mapping&lt;E&gt;</code>は、<code><a href="../extents.html">extents</a></code>型の多次元配列サイズ<code>E</code>をパラメータとして、パディングあり列優先(column major)<a href="../LayoutMapping.html">レイアウトマッピング</a>を表現するクラスである。</p>
 <p><code>layout_left_padded&lt;S&gt;::mapping&lt;E&gt;</code>は<a href="../../type_traits/is_trivially_copyable.html">トリビアルコピー可能</a>であり、<code><a href="../../concepts/regular.html">regular</a></code>のモデルである。</p>
+<h3>説明専用の仮想操作</h3>
+<p>動作説明用の仮想操作<code>LEAST-MULTIPLE-AT-LEAST(x,y)</code>を、次のように定義する。</p>
+<ul>
+<li><code>x == 0</code>のとき、<code>y</code></li>
+<li>そうでなければ、<code>y</code>以上で最小となる<code>x</code>の倍数</li>
+</ul>
 <h3>説明専用メンバ変数</h3>
 <p><code>layout_left_padded&lt;S&gt;::mapping</code>クラステンプレートは、下記の説明専用メンバ変数を保持する。</p>
 <ul>
@@ -255,18 +261,18 @@ <h3>説明専用メンバ変数</h3>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
 <li><code>Extents</code>は<code><a href="../extents.html">extents</a></code>の特殊化であること。</li>
-<li><code>rank_dynamic() == 0</code>が<code>true</code>のとき、多次元インデクス空間<code>Extents()</code>のサイズが<code>index_type</code>型で表現できること。</li>
+<li><code>rank_dynamic() == 0</code>のとき、多次元インデクス空間<code>Extents()</code>のサイズが<code>index_type</code>型で表現できること。</li>
 <li>値<code>padding_value</code>が<code>index_type</code>型で表現できること。</li>
 <li>以下を満たすとき、<code>LEAST-MULTIPLE-AT-LEAST(padding_value, first-static-extent)</code>が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
 <li><code>rank_ &gt; 1</code>、かつ</li>
 <li><code>padding_value</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li><code>first-static-extent</code>が<code>dynamic_extent</code>と等しくないとき。</li>
+<li><code>first-static-extent</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
 </ul>
 </li>
-<li>以下を満たすとき、半開区間<code>[1, rank_)</code>の全ての値<code>k</code>に対して<code>LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(0))</code>と全ての<code>ext.static_extent(k)</code>値を乗じた結果が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
+<li>以下を満たすとき、半開区間<code>[1, rank_)</code>の全ての値<code>k</code>に対して<code>LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(0))</code>と全ての<code>ext.static_extent(k)</code>を乗じた結果が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
 <li><code>rank_ &gt; 1</code>、かつ</li>
 <li><code>padding_value</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li>半開区間<code>[0, extents_type::<a href="../extents/rank.html">rank()</a>)</code>の全ての値<code>k</code>に対して<code>extents_type::<a href="../extents/static_extent.html">static_extent</a>(k)</code>が<code>dynamic_extent</code>と等しくないとき。</li>
+<li>半開区間<code>[0, extents_type::<a href="../extents/rank.html">rank()</a>)</code>の全ての値<code>k</code>に対して<code>extents_type::<a href="../extents/static_extent.html">static_extent</a>(k)</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
 </ul>
 </li>
 </ul>

reference/mdspan/layout_left_padded/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-29T13:39:29">
-        2024年07月29日 13時39分29秒
+      <span itemprop="datePublished" content="2024-08-04T12:32:09">
+        2024年08月04日 12時32分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -288,11 +288,7 @@ <h2>戻り値</h2>
 <p>説明専用の<code>submdspan-mapping-impl</code>関数テンプレートは下記の値を返す。</p>
 <ul>
 <li><code><a href="../../extents/rank.html">Extents::rank()</a> == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{*this, 0}</code></li>
-<li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code><ul>
-<li><code>rank_ == 1</code>、または</li>
-<li><code>SubExtents::rank() == 0</code></li>
-</ul>
-</li>
+<li><code>rank_ == 1</code>または<code>SubExtents::rank() == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code></li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code><ul>
 <li><code>SubExtents::rank() == 1</code>、かつ</li>
 <li>型<code>S_0</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_0, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>

reference/mdspan/layout_right_padded/mapping.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-29T13:39:29">
-        2024年07月29日 13時39分29秒
+      <span itemprop="datePublished" content="2024-08-04T12:32:09">
+        2024年08月04日 12時32分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -235,6 +235,12 @@
 <h2>概要</h2>
 <p><code>layout_right_padded&lt;S&gt;::mapping&lt;E&gt;</code>は、<code><a href="../extents.html">extents</a></code>型の多次元配列サイズ<code>E</code>をパラメータとして、パディングあり行優先(row major)<a href="../LayoutMapping.html">レイアウトマッピング</a>を表現するクラスである。</p>
 <p><code>layout_right_padded&lt;S&gt;::mapping&lt;E&gt;</code>は<a href="../../type_traits/is_trivially_copyable.html">トリビアルコピー可能</a>であり、<code><a href="../../concepts/regular.html">regular</a></code>のモデルである。</p>
+<h3>説明専用の仮想操作</h3>
+<p>動作説明用の仮想操作<code>LEAST-MULTIPLE-AT-LEAST(x,y)</code>を、次のように定義する。</p>
+<ul>
+<li><code>x == 0</code>のとき、<code>y</code></li>
+<li>そうでなければ、<code>y</code>以上で最小となる<code>x</code>の倍数</li>
+</ul>
 <h3>説明専用メンバ変数</h3>
 <p><code>layout_right_padded&lt;S&gt;::mapping</code>クラステンプレートは、下記の説明専用メンバ変数を保持する。</p>
 <ul>
@@ -255,18 +261,18 @@ <h3>説明専用メンバ変数</h3>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
 <li><code>Extents</code>は<code><a href="../extents.html">extents</a></code>の特殊化であること。</li>
-<li><code>rank_dynamic() == 0</code>が<code>true</code>のとき、多次元インデクス空間<code>Extents()</code>のサイズが<code>index_type</code>型で表現できること。</li>
+<li><code>rank_dynamic() == 0</code>のとき、多次元インデクス空間<code>Extents()</code>のサイズが<code>index_type</code>型で表現できること。</li>
 <li>値<code>padding_value</code>が<code>index_type</code>型で表現できること。</li>
 <li>以下を満たすとき、<code>LEAST-MULTIPLE-AT-LEAST(padding_value, last-static-extent)</code>が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
 <li><code>rank_ &gt; 1</code>、かつ</li>
 <li><code>padding_value</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li><code>last-static-extent</code>が<code>dynamic_extent</code>と等しくないとき。</li>
+<li><code>last-static-extent</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
 </ul>
 </li>
-<li>以下を満たすとき、半開区間<code>[1, rank_ - 1)</code>の全ての値<code>k</code>に対して<code>LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(rank_ - 1))</code>と全ての<code>ext.static_extent(k)</code>値を乗じた結果が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
+<li>以下を満たすとき、半開区間<code>[1, rank_ - 1)</code>の全ての値<code>k</code>に対して<code>LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(rank_ - 1))</code>と全ての<code>ext.static_extent(k)</code>を乗じた結果が、<code>size_t</code>型および<code>index_type</code>型で表現できること。<ul>
 <li><code>rank_ &gt; 1</code>、かつ</li>
 <li><code>padding_value</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li>半開区間<code>[0, rank_)</code>の全ての値<code>k</code>に対して<code>extents_type::<a href="../extents/static_extent.html">static_extent</a>(k)</code>が<code>dynamic_extent</code>と等しくないとき。</li>
+<li>半開区間<code>[0, rank_)</code>の全ての値<code>k</code>に対して<code>extents_type::<a href="../extents/static_extent.html">static_extent</a>(k)</code>が<code><a href="../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
 </ul>
 </li>
 </ul>

reference/mdspan/layout_right_padded/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-29T13:39:29">
-        2024年07月29日 13時39分29秒
+      <span itemprop="datePublished" content="2024-08-04T12:32:09">
+        2024年08月04日 12時32分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -288,11 +288,7 @@ <h2>戻り値</h2>
 <p>説明専用の<code>submdspan-mapping-impl</code>関数テンプレートは下記の値を返す。</p>
 <ul>
 <li><code><a href="../../extents/rank.html">Extents::rank()</a> == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{*this, 0}</code></li>
-<li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_right.html">layout_right::mapping</a>(sub_ext), offset}</code><ul>
-<li><code>rank_ == 1</code>、または</li>
-<li><code>SubExtents::rank() == 1</code></li>
-</ul>
-</li>
+<li><code>rank_ == 1</code>または<code>SubExtents::rank() == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_right.html">layout_right::mapping</a>(sub_ext), offset}</code></li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_right.html">layout_right::mapping</a>(sub_ext), offset}</code><ul>
 <li><code>SubExtents::rank() == 1</code>、かつ</li>
 <li><code>rank_-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>