Skip to content

Commit afd6d4f

Browse files
committed
[temp.constr.normal] Give a proper definition for "normalization".
1 parent 3840888 commit afd6d4f

File tree

1 file changed

+17
-10
lines changed

1 file changed

+17
-10
lines changed

source/templates.tex

Lines changed: 17 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1756,17 +1756,8 @@
17561756
\indextext{constraint!normalization|(}%
17571757

17581758
\pnum
1759-
Determining a declaration's
1760-
associated constraints~(\ref{temp.constr.constr})
1761-
requires that their \grammarterm{constraint-expression}{s}
1762-
are \defnx{normalized}{normalization|see{constraint, normalization}}.
1763-
%
1764-
Normalization transforms a \grammarterm{constraint-expression} into a
1765-
sequence of conjunctions and disjunctions~(\ref{temp.constr.op})
1766-
of atomic constraints~(\ref{temp.constr.atomic}).
1767-
%
17681759
The \defn{normal form} of an \grammarterm{expression} \tcode{E} is
1769-
defined as follows:
1760+
a constraint~(\ref{temp.constr.constr}) that is defined as follows:
17701761
%
17711762
\begin{itemize}
17721763
\item
@@ -1818,6 +1809,22 @@
18181809
whose parameter mapping is the identity mapping.
18191810
\end{itemize}
18201811

1812+
\pnum
1813+
The process of obtaining the normal form of a
1814+
\grammarterm{constraint-expression}
1815+
is called
1816+
\defnx{normalization}{normalization|see{constraint, normalization}}.
1817+
\begin{note}
1818+
Normalization of \grammarterm{constraint-expression}{s}
1819+
is performed
1820+
when determining the associated constraints~(\ref{temp.constr.constr})
1821+
of a declaration
1822+
and
1823+
when evaluating the value of an \grammarterm{id-expression}
1824+
that names a concept specialization~(\ref{expr.prim.id}).
1825+
\end{note}
1826+
1827+
\pnum
18211828
\begin{example}
18221829
\begin{codeblock}
18231830
template<typename T> concept C1 = sizeof(T) == 1;

0 commit comments

Comments
 (0)