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 13476
13476
13477
13477
\pnum
13478
13478
\indextext{path!normalization|(}%
13479
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13479
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13480
13480
13481
13481
\begin{enumerate}
13482
13482
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1828
1828
\end {example }
1829
1829
1830
1830
\rSec 2[temp.constr.normal]{Constraint normalization}
1831
- \indextext {constraint!normalization|(}%
1832
1831
1833
1832
\pnum
1834
1833
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
1884
1883
\end {itemize }
1885
1884
1886
1885
\pnum
1886
+ \indextext {normalization|see{constraint, normalization}}%
1887
1887
The process of obtaining the normal form of a
1888
1888
\grammarterm {constraint-expression}
1889
1889
is called
1890
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1890
+ \defnx {normalization}{constraint! normalization}.
1891
1891
\begin {note }
1892
1892
Normalization of \grammarterm {constraint-expression}{s}
1893
1893
is performed
1917
1917
The associated constraints of \# 3 are
1918
1918
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
1919
1919
\end {example }
1920
- \indextext {constraint!normalization|)}
1921
1920
1922
1921
\rSec 2[temp.constr.order]{Partial ordering by constraints}
1923
1922
\indextext {subsume|see{constraint, subsumption}}
You can’t perform that action at this time.
0 commit comments