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 13902
13902
13903
13903
\pnum
13904
13904
\indextext{path!normalization|(}%
13905
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13905
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13906
13906
13907
13907
\begin{enumerate}
13908
13908
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1917
1917
\end {example }
1918
1918
1919
1919
\rSec 2[temp.constr.normal]{Constraint normalization}
1920
- \indextext {constraint!normalization|(}%
1921
1920
1922
1921
\pnum
1923
1922
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
2007
2006
\end {itemize }
2008
2007
2009
2008
\pnum
2009
+ \indextext {normalization|see{constraint, normalization}}%
2010
2010
The process of obtaining the normal form of a
2011
2011
\grammarterm {constraint-expression}
2012
2012
is called
2013
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2013
+ \defnx {normalization}{constraint! normalization}.
2014
2014
\begin {note }
2015
2015
Normalization of \grammarterm {constraint-expression}{s}
2016
2016
is performed
2040
2040
The associated constraints of \# 3 are
2041
2041
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
2042
2042
\end {example }
2043
- \indextext {constraint!normalization|)}
2044
2043
2045
2044
\rSec 2[temp.constr.order]{Partial ordering by constraints}
2046
2045
You can’t perform that action at this time.
0 commit comments