GLOBAL_DEFINED_WORDS: よりも後に発生する(happens after) 追加

Author: yohhoy

GLOBAL_DEFINED_WORDS.json

@@ -203,6 +203,11 @@
     "desc": "happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係"
   },
   "よりも前に発生し": { "yomi": "よりもまえにはっせいし", "redirect": "よりも前に発生する" },
+  "よりも後に発生する": {
+    "yomi": "よりもあとにはっせいする",
+    "desc": "happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係"
+  },
+  "よりも後に発生し": { "yomi": "よりもあとにはっせいし", "redirect": "よりも後に発生する" },
   "よりも確実に前に発生する": {
     "yomi": "よりもかくじつにまえにはっせいする",
     "desc": "strongly happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する強い関係"

reference/execution/execution/spawn_future.md

@@ -292,7 +292,7 @@ void abandon() noexcept;
 ```
 
 - 効果 :
-    - `*this`に対するこの`abandon`の呼び出しが`complete`の呼び出しより前に発生するならば、下記と等価。
+    - `*this`に対するこの`abandon`の呼び出しが`complete`の呼び出しよりも前に発生するならば、下記と等価。
 
         ```cpp
         ssource.request_stop();

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule.md

@@ -17,7 +17,7 @@ virtual void schedule(receiver_proxy& r, span<byte> s) noexcept = 0;
 
 
 ## 事前条件
-`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。
+`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生すること。
 
 
 ## 効果

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule_bulk_chunked.md

@@ -19,7 +19,7 @@ virtual void schedule_bulk_chunked(size_t n,
 
 
 ## 事前条件
-`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。
+`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生すること。
 
 
 ## 効果

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule_bulk_unchunked.md

@@ -19,7 +19,7 @@ virtual void schedule_bulk_unchunked(size_t n,
 
 
 ## 事前条件
-`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。
+`*this`、`r`が参照するオブジェクト、`s`が参照するストレージの生存期間終了は、`r`に対する[`set_value`](../../set_value.md)／[`set_error`](../../set_error.md)／[`set_stopped`](../../set_stopped.md)いずれかの呼び出しの評価開始よりも後に発生すること。
 
 
 ## 効果

reference/stop_token/stoppable_token.md

@@ -47,8 +47,8 @@ concept stoppable_token =
 説明用の変数`t`, `u`を、同一の停止状態を参照する別々な`Token`型オブジェクトとする。
 型`Token`が以下を満たす場合に限って、型`Token`は`stoppable_token`のモデルである。
 
-- `SP`を`t.stop_possible()`が`false`となる評価としたとき、`SP`より後に発生する`u.stop_possible()`や`u.stop_requested()`の評価は`false`であること。
-- `SR`を`t.stop_requested()`が`true`となる評価としたとき、`SR`より後に発生する`u.stop_possible()`や`u.stop_requested()`の評価は`true`であること。
+- `SP`を`t.stop_possible()`が`false`となる評価としたとき、`SP`よりも後に発生する`u.stop_possible()`や`u.stop_requested()`の評価は`false`であること。
+- `SR`を`t.stop_requested()`が`true`となる評価としたとき、`SR`よりも後に発生する`u.stop_possible()`や`u.stop_requested()`の評価は`true`であること。
 - `stoppable-callback-for<CallbackFn, Token, Initialize>`を満たす任意の型`CallbackFn`および型`Initialize`が、`stoppable-callback-for<CallbackFn, Token, Initializer>`のモデルであること。
 - `t`が停止状態を持たない(disengaged)とき、`t.stop_possible()`や`t.stop_requested()`の評価が`false`であること。
 - `t`と`u`が同一の停止状態を参照するか共に停止状態を持たないとき`t == u`が`true`であり、それ以外のときは`false`であること。