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 1346513465
1346613466\pnum
1346713467\indextext {path!normalization|(}%
13468- \defnx {Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13468+ \defnx {Normalization}{normalization!path} of a generic format pathname means:
1346913469
1347013470\begin {enumerate }
1347113471\item If the path is empty, stop.
Original file line number Diff line number Diff line change 18211821\end {example }
18221822
18231823\rSec 2[temp.constr.normal]{Constraint normalization}
1824- \indextext {constraint!normalization|(}%
18251824
18261825\pnum
18271826The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
18771876\end {itemize }
18781877
18791878\pnum
1879+ \indextext {normalization|see{constraint, normalization}}%
18801880The process of obtaining the normal form of a
18811881\grammarterm {constraint-expression}
18821882is called
1883- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1883+ \defnx {normalization}{constraint! normalization}.
18841884\begin {note }
18851885Normalization of \grammarterm {constraint-expression}{s}
18861886is performed
19101910The associated constraints of \# 3 are
19111911\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
19121912\end {example }
1913- \indextext {constraint!normalization|)}
19141913
19151914\rSec 2[temp.constr.order]{Partial ordering by constraints}
19161915\indextext {subsume|see{constraint, subsumption}}
You can’t perform that action at this time.
0 commit comments