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-12-20 22:10:40 +01:00
2023-01-14 17:04:02 +00:00
2022-12-25 18:01:07 +00:00