File tree Expand file tree Collapse file tree 2 files changed +3
-4
lines changed
Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Original file line number Diff line number Diff line change 1378713787
1378813788\pnum
1378913789\indextext{path!normalization|(}%
13790- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13790+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
1379113791
1379213792\begin{enumerate}
1379313793\item If the path is empty, stop.
Original file line number Diff line number Diff line change 18481848\end {example }
18491849
18501850\rSec 2[temp.constr.normal]{Constraint normalization}
1851- \indextext {constraint!normalization|(}%
18521851
18531852\pnum
18541853The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
19041903\end {itemize }
19051904
19061905\pnum
1906+ \indextext {normalization|see{constraint, normalization}}%
19071907The process of obtaining the normal form of a
19081908\grammarterm {constraint-expression}
19091909is called
1910- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1910+ \defnx {normalization}{constraint! normalization}.
19111911\begin {note }
19121912Normalization of \grammarterm {constraint-expression}{s}
19131913is performed
19371937The associated constraints of \# 3 are
19381938\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
19391939\end {example }
1940- \indextext {constraint!normalization|)}
19411940
19421941\rSec 2[temp.constr.order]{Partial ordering by constraints}
19431942
You can’t perform that action at this time.
0 commit comments