File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 13919
13919
13920
13920
\pnum
13921
13921
\indextext{path!normalization|(}%
13922
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13922
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13923
13923
13924
13924
\begin{enumerate}
13925
13925
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 2085
2085
\end {example }
2086
2086
2087
2087
\rSec 2[temp.constr.normal]{Constraint normalization}
2088
- \indextext {constraint!normalization|(}%
2089
2088
2090
2089
\pnum
2091
2090
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
2204
2203
\end {itemize }
2205
2204
2206
2205
\pnum
2206
+ \indextext {normalization|see{constraint, normalization}}%
2207
2207
The process of obtaining the normal form of a
2208
2208
\grammarterm {constraint-expression}
2209
2209
is called
2210
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2210
+ \defnx {normalization}{constraint! normalization}.
2211
2211
\begin {note }
2212
2212
Normalization of \grammarterm {constraint-expression}{s}
2213
2213
is performed
You can’t perform that action at this time.
0 commit comments