Kefu Chai
a2aa133822
treewide: use std::lexicographical_compare_threeway
...
this the standard library offers
`std::lexicographical_compare_threeway()`, and we never uses the
last two addition parameters which are not provided by
`std::lexicographical_compare_threeway()`. there is no need to have
the homebrew version of trichotomic compare function.
in this change,
* all occurrences of `lexicographical_tri_compare()` are replaced
with `std::lexicographical_compare_threeway()`.
* ``lexicographical_tri_compare()` is dropped.
Signed-off-by: Kefu Chai <kefu.chai@scylladb.com >
Closes #13615
2023-04-21 14:28:18 +03:00
..
2023-02-28 23:00:02 +04:00
2023-04-14 13:21:30 +08:00
2022-01-18 12:15:18 +01:00
2022-11-17 08:01:00 +02:00
2023-03-08 22:53:42 +08:00
2023-02-15 11:01:50 +02:00
2023-04-21 09:49:24 +03:00
2023-04-21 07:56:58 +03:00
2023-02-19 21:05:45 +02:00
2023-03-23 13:27:33 +02:00
2023-02-14 11:19:03 +02:00
2022-07-08 12:59:14 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2023-03-22 13:59:47 +02:00
2022-01-18 12:15:18 +01:00
2023-03-29 16:13:59 +08:00
2023-02-15 22:57:18 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2023-04-21 14:28:18 +03:00
2023-02-14 11:19:03 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2023-02-14 11:19:03 +02:00
2023-02-19 21:05:45 +02:00
2023-02-14 11:19:03 +02:00
2023-04-13 11:34:22 -03:00
2023-02-17 17:58:26 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-06-12 20:05:28 +03:00
2022-01-18 12:15:18 +01:00
2023-02-19 21:05:45 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2023-02-15 11:01:50 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2023-04-10 23:31:35 +03:00
2023-04-13 11:34:16 -03:00
2023-04-13 11:34:16 -03:00
2022-04-28 14:12:24 +03:00
2023-02-19 21:05:45 +02:00
2023-04-14 08:28:16 +03:00
2023-04-14 08:28:16 +03:00
2023-04-10 23:11:58 +03:00
2023-02-19 21:05:45 +02:00
2023-02-19 21:05:45 +02:00
2022-02-16 18:21:24 +02:00
2023-02-19 21:05:45 +02:00
2023-02-15 11:01:50 +02:00
2023-04-10 16:44:29 +03:00
2023-04-10 16:44:29 +03:00
2023-04-21 09:49:24 +03:00
2023-04-13 11:34:22 -03:00
2022-05-24 13:32:39 +03:00
2022-08-18 19:03:10 +03:00
2023-04-10 10:26:04 -03:00
2023-03-21 09:56:18 +03:00
2023-02-15 11:01:50 +02:00
2022-11-11 09:58:18 +02:00
2023-03-30 09:34:04 +03:00