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 13787
13787
13788
13788
\pnum
13789
13789
\indextext{path!normalization|(}%
13790
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13790
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13791
13791
13792
13792
\begin{enumerate}
13793
13793
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1848
1848
\end {example }
1849
1849
1850
1850
\rSec 2[temp.constr.normal]{Constraint normalization}
1851
- \indextext {constraint!normalization|(}%
1852
1851
1853
1852
\pnum
1854
1853
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
1904
1903
\end {itemize }
1905
1904
1906
1905
\pnum
1906
+ \indextext {normalization|see{constraint, normalization}}%
1907
1907
The process of obtaining the normal form of a
1908
1908
\grammarterm {constraint-expression}
1909
1909
is called
1910
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1910
+ \defnx {normalization}{constraint! normalization}.
1911
1911
\begin {note }
1912
1912
Normalization of \grammarterm {constraint-expression}{s}
1913
1913
is performed
1937
1937
The associated constraints of \# 3 are
1938
1938
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
1939
1939
\end {example }
1940
- \indextext {constraint!normalization|)}
1941
1940
1942
1941
\rSec 2[temp.constr.order]{Partial ordering by constraints}
1943
1942
You can’t perform that action at this time.
0 commit comments