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 1391913919
1392013920\pnum
1392113921\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:
1392313923
1392413924\begin{enumerate}
1392513925\item If the path is empty, stop.
Original file line number Diff line number Diff line change 21512151\end {example }
21522152
21532153\rSec 2[temp.constr.normal]{Constraint normalization}
2154- \indextext {constraint!normalization|(}%
21552154
21562155\pnum
21572156The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
22702269\end {itemize }
22712270
22722271\pnum
2272+ \indextext {normalization|see{constraint, normalization}}%
22732273The process of obtaining the normal form of a
22742274\grammarterm {constraint-expression}
22752275is called
2276- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2276+ \defnx {normalization}{constraint! normalization}.
22772277\begin {note }
22782278Normalization of \grammarterm {constraint-expression}{s}
22792279is performed
You can’t perform that action at this time.
0 commit comments