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 13902
13902
13903
13903
\pnum
13904
13904
\indextext{path!normalization|(}%
13905
- \defnx{Normalization}{normalization!path|see{path, normalization} } of a generic format pathname means:
13905
+ \defnx{Normalization}{normalization!path} of a generic format pathname means:
13906
13906
13907
13907
\begin{enumerate}
13908
13908
\item If the path is empty, stop.
Original file line number Diff line number Diff line change 1908
1908
\end {example }
1909
1909
1910
1910
\rSec 2[temp.constr.normal]{Constraint normalization}
1911
- \indextext {constraint!normalization|(}%
1912
1911
1913
1912
\pnum
1914
1913
The \defnx {normal form}{normal form!constraint} of an \grammarterm {expression} \tcode {E} is
1998
1997
\end {itemize }
1999
1998
2000
1999
\pnum
2000
+ \indextext {normalization|see{constraint, normalization}}%
2001
2001
The process of obtaining the normal form of a
2002
2002
\grammarterm {constraint-expression}
2003
2003
is called
2004
- \defnx {normalization}{normalization! constraint|see{constraint, normalization} }.
2004
+ \defnx {normalization}{constraint! normalization}.
2005
2005
\begin {note }
2006
2006
Normalization of \grammarterm {constraint-expression}{s}
2007
2007
is performed
2031
2031
The associated constraints of \# 3 are
2032
2032
\tcode {requires (T x) \{ ++x; \} } (with mapping $ \tcode {T} \mapsto \tcode {U}$ ).
2033
2033
\end {example }
2034
- \indextext {constraint!normalization|)}
2035
2034
2036
2035
\rSec 2[temp.constr.order]{Partial ordering by constraints}
2037
2036
You can’t perform that action at this time.
0 commit comments