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 20852085\end {example }
20862086
20872087\rSec 2[temp.constr.normal]{Constraint normalization}
2088- \indextext {constraint!normalization|(}%
20892088
20902089\pnum
20912090The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
22042203\end {itemize }
22052204
22062205\pnum
2206+ \indextext {normalization|see{constraint, normalization}}%
22072207The process of obtaining the normal form of a
22082208\grammarterm {constraint-expression}
22092209is called
2210- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2210+ \defnx {normalization}{constraint! normalization}.
22112211\begin {note }
22122212Normalization of \grammarterm {constraint-expression}{s}
22132213is performed
You can’t perform that action at this time.
0 commit comments