File tree Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Original file line number Diff line number Diff line change 13465
13465
13466
13466
\pnum
13467
13467
\indextext {path!normalization|(}%
13468
- \defnx {Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13468
+ \defnx {Normalization}{normalization!path} of a generic format pathname means:
13469
13469
13470
13470
\begin {enumerate }
13471
13471
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1821
1821
\end {example }
1822
1822
1823
1823
\rSec 2[temp.constr.normal]{Constraint normalization}
1824
- \indextext {constraint!normalization|(}%
1825
1824
1826
1825
\pnum
1827
1826
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
1877
1876
\end {itemize }
1878
1877
1879
1878
\pnum
1879
+ \indextext {normalization|see{constraint, normalization}}%
1880
1880
The process of obtaining the normal form of a
1881
1881
\grammarterm {constraint-expression}
1882
1882
is called
1883
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1883
+ \defnx {normalization}{constraint! normalization}.
1884
1884
\begin {note }
1885
1885
Normalization of \grammarterm {constraint-expression}{s}
1886
1886
is performed
1910
1910
The associated constraints of \# 3 are
1911
1911
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
1912
1912
\end {example }
1913
- \indextext {constraint!normalization|)}
1914
1913
1915
1914
\rSec 2[temp.constr.order]{Partial ordering by constraints}
1916
1915
\indextext {subsume|see{constraint, subsumption}}
You can’t perform that action at this time.
0 commit comments