From Jason Turner

[inner.product]

Diff to HTML by rtfpessoa

tmp/tmp8ue89wwu/{from.md → to.md} RENAMED
@@ -10,19 +10,19 @@ template <class InputIterator1, class InputIterator2, class T,
10
  InputIterator2 first2, T init,
11
  BinaryOperation1 binary_op1,
12
  BinaryOperation2 binary_op2);
13
  ```
14
 
 
 
 
 
 
 
 
15
  *Effects:* Computes its result by initializing the accumulator `acc`
16
  with the initial value `init` and then modifying it with
17
  `acc = acc + (*i1) * (*i2)` or
18
  `acc = binary_op1(acc, binary_op2(*i1, *i2))` for every iterator `i1` in
19
  the range \[`first1`, `last1`) and iterator `i2` in the range
20
  \[`first2`, `first2 + (last1 - first1)`) in order.
21
 
22
- *Requires:* `T` shall meet the requirements of `CopyConstructible`
23
- (Table  [[copyconstructible]]) and `CopyAssignable`
24
- (Table  [[copyassignable]]) types. In the ranges \[`first1`, `last1`\]
25
- and \[`first2`, `first2 + (last1 - first1)`\] `binary_op1` and
26
- `binary_op2` shall neither modify elements nor invalidate iterators or
27
- subranges.[^17]
28
-
 
10
  InputIterator2 first2, T init,
11
  BinaryOperation1 binary_op1,
12
  BinaryOperation2 binary_op2);
13
  ```
14
 
15
+ *Requires:* `T` shall meet the requirements of `CopyConstructible`
16
+ (Table  [[tab:copyconstructible]]) and `CopyAssignable`
17
+ (Table  [[tab:copyassignable]]) types. In the ranges \[`first1`,
18
+ `last1`\] and \[`first2`, `first2 + (last1 - first1)`\] `binary_op1` and
19
+ `binary_op2` shall neither modify elements nor invalidate iterators or
20
+ subranges.[^15]
21
+
22
  *Effects:* Computes its result by initializing the accumulator `acc`
23
  with the initial value `init` and then modifying it with
24
  `acc = acc + (*i1) * (*i2)` or
25
  `acc = binary_op1(acc, binary_op2(*i1, *i2))` for every iterator `i1` in
26
  the range \[`first1`, `last1`) and iterator `i2` in the range
27
  \[`first2`, `first2 + (last1 - first1)`) in order.
28