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 1378613786
1378713787\pnum
1378813788\indextext{path!normalization|(}%
13789- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13789+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
1379013790
1379113791\begin{enumerate}
1379213792\item If the path is empty, stop.
Original file line number Diff line number Diff line change 18281828\end {example }
18291829
18301830\rSec 2[temp.constr.normal]{Constraint normalization}
1831- \indextext {constraint!normalization|(}%
18321831
18331832\pnum
18341833The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
18841883\end {itemize }
18851884
18861885\pnum
1886+ \indextext {normalization|see{constraint, normalization}}%
18871887The process of obtaining the normal form of a
18881888\grammarterm {constraint-expression}
18891889is called
1890- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
1890+ \defnx {normalization}{constraint! normalization}.
18911891\begin {note }
18921892Normalization of \grammarterm {constraint-expression}{s}
18931893is performed
19171917The associated constraints of \# 3 are
19181918\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
19191919\end {example }
1920- \indextext {constraint!normalization|)}
19211920
19221921\rSec 2[temp.constr.order]{Partial ordering by constraints}
19231922\indextext {subsume|see{constraint, subsumption}}
You can’t perform that action at this time.
0 commit comments