Sun, 23 Nov 2025 13:15:19 +0100
optimize sorted insertion by using the infimum instead of the supremum
The reason is that the supremum returns the equal element with the smallest index, and we want the largest.
Therefore, we use the infimum, which already gives us the largest index when there are equal elements, and increase the index by one. The infimum is also guaranteed to exist in that case.
|
1140
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
1 | <?xml version="1.0" encoding="UTF-8"?> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
2 | <!DOCTYPE instance-profile |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
3 | SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd"> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
4 | |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
5 | <instance-profile id="ucx" |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
6 | name="UAP Common Extensions" |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
7 | start-page="about.md"> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
8 | <toc-element topic="about.md"/> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
9 | <toc-element topic="features.md"> |
|
1175
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
10 | <toc-element topic="memory.md"> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
11 | <toc-element topic="allocator.h.md"/> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
12 | <toc-element topic="mempool.h.md"/> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
13 | </toc-element> |
|
1141
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
14 | <toc-element topic="collections.md"> |
|
1143
0559812df10c
assign proper names to the documentation topics
Mike Becker <universe@uap-core.de>
parents:
1141
diff
changeset
|
15 | <toc-element topic="iterator.h.md"/> |
|
1141
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
16 | <toc-element topic="collection.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
17 | <toc-element topic="list.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
18 | <toc-element topic="array_list.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
19 | <toc-element topic="linked_list.h.md"/> |
|
1390
ff077f793c5d
kv-list: add documentation
Mike Becker <universe@uap-core.de>
parents:
1175
diff
changeset
|
20 | <toc-element topic="kv_list.h.md"/> |
|
1141
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
21 | <toc-element topic="map.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
22 | <toc-element topic="hash_map.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
23 | <toc-element topic="tree.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
24 | </toc-element> |
|
1175
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
25 | <toc-element topic="strings.md"> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
26 | <toc-element topic="string.h.md"/> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
27 | <toc-element topic="buffer.h.md"/> |
|
453a45647a32
reorder the topics to make more sense when read from top to bottom
Mike Becker <universe@uap-core.de>
parents:
1143
diff
changeset
|
28 | <toc-element topic="printf.h.md"/> |
|
1141
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
29 | </toc-element> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
30 | <toc-element topic="parsers.md"> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
31 | <toc-element topic="json.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
32 | <toc-element topic="properties.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
33 | </toc-element> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
34 | <toc-element topic="utils.md"> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
35 | <toc-element topic="compare.h.md"/> |
|
1143
0559812df10c
assign proper names to the documentation topics
Mike Becker <universe@uap-core.de>
parents:
1141
diff
changeset
|
36 | <toc-element topic="hash_key.h.md"/> |
|
1141
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
37 | <toc-element topic="streams.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
38 | <toc-element topic="test.h.md"/> |
|
a06a2d27c043
create new page structure
Mike Becker <universe@uap-core.de>
parents:
1140
diff
changeset
|
39 | </toc-element> |
|
1140
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
40 | </toc-element> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
41 | <toc-element topic="install.md"/> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
42 | <toc-element topic="license.md" /> |
|
88a9ee79c102
start overhauling the entire web documentation
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
43 | </instance-profile> |