Mercurial > hg > ucx / file revision

• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

docs/Writerside/cfg/glossary.xml@dfc0ddd9571e

docs/Writerside/cfg/glossary.xml

Sun, 23 Nov 2025 13:15:19 +0100

author

Mike Becker <universe@uap-core.de>

date

Sun, 23 Nov 2025 13:15:19 +0100

changeset 1508

dfc0ddd9571e

parent 1140

88a9ee79c102

permissions

-rw-r--r--

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.

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE terms SYSTEM "https://resources.jetbrains.com/writerside/1.0/glossary.dtd">
<terms>
    <term name="supported-compilers">
        Supported compilers for Unix and Linux builds are gcc, clang, suncc.
        For Windows there is a separate MSVC project.
    </term>
</terms>