Tomasz Miąsko 955e7fbb16 Consistently use dominates instead of is_dominated_by
There is a number of APIs that answer dominance queries. Previously they
were named either "dominates" or "is_dominated_by". Consistently use the
"dominates" form.

No functional changes.
2023-01-21 12:15:02 +01:00
..
2022-09-29 16:49:04 +09:00
2022-12-20 22:10:40 +01:00
2022-12-20 22:10:40 +01:00
2022-12-20 22:28:22 +01:00