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 13912
13912
13913
13913
\pnum
13914
13914
\indextext{path!normalization|(}%
13915
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13915
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13916
13916
13917
13917
\begin{enumerate}
13918
13918
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 2086
2086
\end {example }
2087
2087
2088
2088
\rSec 2[temp.constr.normal]{Constraint normalization}
2089
- \indextext {constraint!normalization|(}%
2090
2089
2091
2090
\pnum
2092
2091
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
2205
2204
\end {itemize }
2206
2205
2207
2206
\pnum
2207
+ \indextext {normalization|see{constraint, normalization}}%
2208
2208
The process of obtaining the normal form of a
2209
2209
\grammarterm {constraint-expression}
2210
2210
is called
2211
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2211
+ \defnx {normalization}{constraint! normalization}.
2212
2212
\begin {note }
2213
2213
Normalization of \grammarterm {constraint-expression}{s}
2214
2214
is performed
You can’t perform that action at this time.
0 commit comments