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 13897
13897
13898
13898
\pnum
13899
13899
\indextext{path!normalization|(}%
13900
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13900
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13901
13901
13902
13902
\begin{enumerate}
13903
13903
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1888
1888
\end {example }
1889
1889
1890
1890
\rSec 2[temp.constr.normal]{Constraint normalization}
1891
- \indextext {constraint!normalization|(}%
1892
1891
1893
1892
\pnum
1894
1893
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
1978
1977
\end {itemize }
1979
1978
1980
1979
\pnum
1980
+ \indextext {normalization|see{constraint, normalization}}%
1981
1981
The process of obtaining the normal form of a
1982
1982
\grammarterm {constraint-expression}
1983
1983
is called
1984
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1984
+ \defnx {normalization}{constraint! normalization}.
1985
1985
\begin {note }
1986
1986
Normalization of \grammarterm {constraint-expression}{s}
1987
1987
is performed
2011
2011
The associated constraints of \# 3 are
2012
2012
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
2013
2013
\end {example }
2014
- \indextext {constraint!normalization|)}
2015
2014
2016
2015
\rSec 2[temp.constr.order]{Partial ordering by constraints}
2017
2016
You can’t perform that action at this time.
0 commit comments