tmp/tmppwoqzh75/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,13 @@
|
|
| 1 |
### Partial ordering by constraints <a id="temp.constr.order">[[temp.constr.order]]</a>
|
| 2 |
|
| 3 |
A constraint P *subsumes* a constraint Q if and only if, for every
|
| 4 |
-
disjunctive clause Pᵢ in the disjunctive normal form[^4]
|
| 5 |
-
|
|
|
|
|
|
|
|
|
|
| 6 |
of Q, where
|
| 7 |
|
| 8 |
- a disjunctive clause Pᵢ subsumes a conjunctive clause Qⱼ if and only
|
| 9 |
if there exists an atomic constraint Pᵢₐ in Pᵢ for which there exists
|
| 10 |
an atomic constraint $Q_{jb}$ in Qⱼ such that Pᵢₐ subsumes $Q_{jb}$,
|
|
@@ -26,11 +29,11 @@ partial ordering is used to determine
|
|
| 26 |
- the best viable candidate of non-template functions
|
| 27 |
[[over.match.best]],
|
| 28 |
- the address of a non-template function [[over.over]],
|
| 29 |
- the matching of template template arguments [[temp.arg.template]],
|
| 30 |
- the partial ordering of class template specializations
|
| 31 |
-
[[temp.
|
| 32 |
- the partial ordering of function templates [[temp.func.order]].
|
| 33 |
|
| 34 |
— *end note*]
|
| 35 |
|
| 36 |
A declaration `D1` is *at least as constrained* as a declaration `D2` if
|
|
|
|
| 1 |
### Partial ordering by constraints <a id="temp.constr.order">[[temp.constr.order]]</a>
|
| 2 |
|
| 3 |
A constraint P *subsumes* a constraint Q if and only if, for every
|
| 4 |
+
disjunctive clause Pᵢ in the disjunctive normal form[^4]
|
| 5 |
+
|
| 6 |
+
of P, Pᵢ subsumes every conjunctive clause Qⱼ in the conjunctive normal
|
| 7 |
+
form[^5]
|
| 8 |
+
|
| 9 |
of Q, where
|
| 10 |
|
| 11 |
- a disjunctive clause Pᵢ subsumes a conjunctive clause Qⱼ if and only
|
| 12 |
if there exists an atomic constraint Pᵢₐ in Pᵢ for which there exists
|
| 13 |
an atomic constraint $Q_{jb}$ in Qⱼ such that Pᵢₐ subsumes $Q_{jb}$,
|
|
|
|
| 29 |
- the best viable candidate of non-template functions
|
| 30 |
[[over.match.best]],
|
| 31 |
- the address of a non-template function [[over.over]],
|
| 32 |
- the matching of template template arguments [[temp.arg.template]],
|
| 33 |
- the partial ordering of class template specializations
|
| 34 |
+
[[temp.spec.partial.order]], and
|
| 35 |
- the partial ordering of function templates [[temp.func.order]].
|
| 36 |
|
| 37 |
— *end note*]
|
| 38 |
|
| 39 |
A declaration `D1` is *at least as constrained* as a declaration `D2` if
|