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 1391113911
1391213912\pnum
1391313913\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:
1391513915
1391613916\begin{enumerate}
1391713917\item If the path is empty, stop.
Original file line number Diff line number Diff line change 20422042\end {example }
20432043
20442044\rSec 2[temp.constr.normal]{Constraint normalization}
2045- \indextext {constraint!normalization|(}%
20462045
20472046\pnum
20482047The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
21612160\end {itemize }
21622161
21632162\pnum
2163+ \indextext {normalization|see{constraint, normalization}}%
21642164The process of obtaining the normal form of a
21652165\grammarterm {constraint-expression}
21662166is called
2167- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2167+ \defnx {normalization}{constraint! normalization}.
21682168\begin {note }
21692169Normalization of \grammarterm {constraint-expression}{s}
21702170is performed
You can’t perform that action at this time.
0 commit comments