File tree Expand file tree Collapse file tree 1 file changed +2
-40
lines changed
Expand file tree Collapse file tree 1 file changed +2
-40
lines changed Original file line number Diff line number Diff line change @@ -86,8 +86,9 @@ This issue has some overlap to LWG <iref ref="4323"/>, and it would
8686affect the outcome wording of that issue for `unique`.
8787</p >
8888</blockquote >
89+ </discussion >
8990
90- <superseded >
91+ <resolution >
9192<p >
9293This wording is relative to <paper num =" N5014" />.
9394</p >
@@ -341,45 +342,6 @@ at worst <tt>𝒪(log n)</tt> in the capacity of each block containing the
341342
342343</li >
343344
344- </ol >
345- </superseded >
346-
347- <note >2025-09-17; Matt comments and provides improved wording</note >
348- <p >
349- Having looked at this in more detail, I believe only a blanket wording change to the
350- hive.overview is necessary, specifically <sref ref =" [hive.overview]" /> p3, such that
351- the time complexity is limited to "techniques to identify the memory locations of
352- erased elements"
353- </p >
354- </discussion >
355-
356- <resolution >
357- <p >
358- This wording is relative to <paper num =" N5014" />.
359- </p >
360-
361- <ol >
362-
363- <li ><p >Modify <sref ref =" [hive.overview]" /> as indicated:</p >
364-
365- <blockquote >
366- <p >
367- -1- A `hive` is a type of sequence container that provides constant-time insertion and erasure
368- operations. Storage is automatically managed in multiple memory blocks, referred
369- to as element blocks. Insertion position is determined by the container, and may re-use the memory
370- locations of erased elements.
371- <p />
372- -2- [… ]
373- <p />
374- -3- Erasures use unspecified techniques <del >of constant time complexity</del > to identify the memory
375- locations of erased elements, which are subsequently skipped during iteration <ins >in constant time</ins >,
376- as opposed to relocating subsequent elements during erasure. <ins >These techniques may be at worst
377- logarithmic in the capacity of the element block erased from.</ins >
378- </p >
379- </blockquote >
380-
381- </li >
382-
383345</ol >
384346</resolution >
385347
You can’t perform that action at this time.
0 commit comments