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 13911
13911
13912
13912
\pnum
13913
13913
\indextext{path!normalization|(}%
13914
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13914
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13915
13915
13916
13916
\begin{enumerate}
13917
13917
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 2042
2042
\end {example }
2043
2043
2044
2044
\rSec 2[temp.constr.normal]{Constraint normalization}
2045
- \indextext {constraint!normalization|(}%
2046
2045
2047
2046
\pnum
2048
2047
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
2161
2160
\end {itemize }
2162
2161
2163
2162
\pnum
2163
+ \indextext {normalization|see{constraint, normalization}}%
2164
2164
The process of obtaining the normal form of a
2165
2165
\grammarterm {constraint-expression}
2166
2166
is called
2167
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2167
+ \defnx {normalization}{constraint! normalization}.
2168
2168
\begin {note }
2169
2169
Normalization of \grammarterm {constraint-expression}{s}
2170
2170
is performed
You can’t perform that action at this time.
0 commit comments