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 1391213912
1391313913\pnum
1391413914\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:
1391613916
1391713917\begin{enumerate}
1391813918\item If the path is empty, stop.
Original file line number Diff line number Diff line change 20862086\end {example }
20872087
20882088\rSec 2[temp.constr.normal]{Constraint normalization}
2089- \indextext {constraint!normalization|(}%
20902089
20912090\pnum
20922091The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
22052204\end {itemize }
22062205
22072206\pnum
2207+ \indextext {normalization|see{constraint, normalization}}%
22082208The process of obtaining the normal form of a
22092209\grammarterm {constraint-expression}
22102210is called
2211- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2211+ \defnx {normalization}{constraint! normalization}.
22122212\begin {note }
22132213Normalization of \grammarterm {constraint-expression}{s}
22142214is performed
You can’t perform that action at this time.
0 commit comments