Skip to content

Commit da9555a

Browse files
committed
[alg.{transform,replace}] Make "E(i)" explicitly depend on "i"
1 parent e615f8d commit da9555a

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

source/algorithms.tex

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -7059,7 +7059,7 @@
70597059
\item
70607060
$N$ be $\min(M, \ \tcode{result_last - result})$;
70617061
\item
7062-
$E$ be
7062+
$E(\tcode{i})$ be
70637063
\begin{itemize}
70647064
\item
70657065
\tcode{op(*(first1 + (i - result)))}
@@ -7096,7 +7096,7 @@
70967096
\effects
70977097
Assigns through every iterator \tcode{i}
70987098
in the range \range{result}{result + $N$}
7099-
a new corresponding value equal to $E$.
7099+
a new corresponding value equal to $E(\tcode{i})$.
71007100

71017101
\pnum
71027102
\returns
@@ -7202,7 +7202,7 @@
72027202

72037203
\begin{itemdescr}
72047204
\pnum
7205-
Let $E$ be
7205+
Let $E(\tcode{i})$ be
72067206
\begin{itemize}
72077207
\item \tcode{bool(*i == old_value)} for \tcode{replace};
72087208
\item \tcode{bool(pred(*i))} for \tcode{replace_if};
@@ -7218,7 +7218,7 @@
72187218
\effects
72197219
Substitutes elements referred by the iterator \tcode{i}
72207220
in the range \range{first}{last} with \tcode{new_value},
7221-
when $E$ is \tcode{true}.
7221+
when $E(\tcode{i})$ is \tcode{true}.
72227222

72237223
\pnum
72247224
\returns
@@ -7329,7 +7329,7 @@
73297329
\begin{itemdescr}
73307330
\setlength{\emergencystretch}{1.5em}
73317331
\pnum
7332-
Let $E$ be
7332+
Let $E(\tcode{i})$ be
73337333
\begin{itemize}
73347334
\item \tcode{bool(*(first + (i - result)) == old_value)}
73357335
for \tcode{replace_copy};
@@ -7367,7 +7367,7 @@
73677367
in the range \range{result}{result + $N$}
73687368
a new corresponding value
73697369
\begin{itemize}
7370-
\item \tcode{new_value} if $E$ is \tcode{true} or
7370+
\item \tcode{new_value} if $E(\tcode{i})$ is \tcode{true} or
73717371
\item \tcode{*(first + (i - result))} otherwise.
73727372
\end{itemize}
73737373

0 commit comments

Comments
 (0)