tmp/tmpbutkam1_/{from.md → to.md}
RENAMED
|
@@ -34,12 +34,12 @@ constexpr size_type find(basic_string_view str, size_type pos = 0) const noexcep
|
|
| 34 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 35 |
conditions hold:
|
| 36 |
|
| 37 |
- `pos <= xpos`
|
| 38 |
- `xpos + str.size() <= size()`
|
| 39 |
-
- `traits::eq(
|
| 40 |
-
string referenced by `str`.
|
| 41 |
|
| 42 |
*Effects:* Determines `xpos`.
|
| 43 |
|
| 44 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 45 |
Otherwise, returns `npos`.
|
|
@@ -51,12 +51,12 @@ constexpr size_type rfind(basic_string_view str, size_type pos = npos) const noe
|
|
| 51 |
Let `xpos` be the highest position, if possible, such that the following
|
| 52 |
conditions hold:
|
| 53 |
|
| 54 |
- `xpos <= pos`
|
| 55 |
- `xpos + str.size() <= size()`
|
| 56 |
-
- `traits::eq(
|
| 57 |
-
string referenced by `str`.
|
| 58 |
|
| 59 |
*Effects:* Determines `xpos`.
|
| 60 |
|
| 61 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 62 |
Otherwise, returns `npos`.
|
|
@@ -68,12 +68,12 @@ constexpr size_type find_first_of(basic_string_view str, size_type pos = 0) cons
|
|
| 68 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 69 |
conditions hold:
|
| 70 |
|
| 71 |
- `pos <= xpos`
|
| 72 |
- `xpos < size()`
|
| 73 |
-
- `traits::eq(
|
| 74 |
-
referenced by `str`.
|
| 75 |
|
| 76 |
*Effects:* Determines `xpos`.
|
| 77 |
|
| 78 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 79 |
Otherwise, returns `npos`.
|
|
@@ -85,12 +85,12 @@ constexpr size_type find_last_of(basic_string_view str, size_type pos = npos) co
|
|
| 85 |
Let `xpos` be the highest position, if possible, such that the following
|
| 86 |
conditions hold:
|
| 87 |
|
| 88 |
- `xpos <= pos`
|
| 89 |
- `xpos < size()`
|
| 90 |
-
- `traits::eq(
|
| 91 |
-
referenced by `str`.
|
| 92 |
|
| 93 |
*Effects:* Determines `xpos`.
|
| 94 |
|
| 95 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 96 |
Otherwise, returns `npos`.
|
|
@@ -102,12 +102,12 @@ constexpr size_type find_first_not_of(basic_string_view str, size_type pos = 0)
|
|
| 102 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 103 |
conditions hold:
|
| 104 |
|
| 105 |
- `pos <= xpos`
|
| 106 |
- `xpos < size()`
|
| 107 |
-
- `traits::eq(
|
| 108 |
-
referenced by `str`.
|
| 109 |
|
| 110 |
*Effects:* Determines `xpos`.
|
| 111 |
|
| 112 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 113 |
Otherwise, returns `npos`.
|
|
@@ -119,12 +119,12 @@ constexpr size_type find_last_not_of(basic_string_view str, size_type pos = npos
|
|
| 119 |
Let `xpos` be the highest position, if possible, such that the following
|
| 120 |
conditions hold:
|
| 121 |
|
| 122 |
- `xpos <= pos`
|
| 123 |
- `xpos < size()`
|
| 124 |
-
- `traits::eq(
|
| 125 |
-
referenced by `str`.
|
| 126 |
|
| 127 |
*Effects:* Determines `xpos`.
|
| 128 |
|
| 129 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 130 |
Otherwise, returns `npos`.
|
|
|
|
| 34 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 35 |
conditions hold:
|
| 36 |
|
| 37 |
- `pos <= xpos`
|
| 38 |
- `xpos + str.size() <= size()`
|
| 39 |
+
- `traits::eq(`*`data_`*`[xpos + I], str[I])` for all elements `I` of
|
| 40 |
+
the string referenced by `str`.
|
| 41 |
|
| 42 |
*Effects:* Determines `xpos`.
|
| 43 |
|
| 44 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 45 |
Otherwise, returns `npos`.
|
|
|
|
| 51 |
Let `xpos` be the highest position, if possible, such that the following
|
| 52 |
conditions hold:
|
| 53 |
|
| 54 |
- `xpos <= pos`
|
| 55 |
- `xpos + str.size() <= size()`
|
| 56 |
+
- `traits::eq(`*`data_`*`[xpos + I], str[I])` for all elements `I` of
|
| 57 |
+
the string referenced by `str`.
|
| 58 |
|
| 59 |
*Effects:* Determines `xpos`.
|
| 60 |
|
| 61 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 62 |
Otherwise, returns `npos`.
|
|
|
|
| 68 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 69 |
conditions hold:
|
| 70 |
|
| 71 |
- `pos <= xpos`
|
| 72 |
- `xpos < size()`
|
| 73 |
+
- `traits::eq(`*`data_`*`[xpos], str[I])` for some element `I` of the
|
| 74 |
+
string referenced by `str`.
|
| 75 |
|
| 76 |
*Effects:* Determines `xpos`.
|
| 77 |
|
| 78 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 79 |
Otherwise, returns `npos`.
|
|
|
|
| 85 |
Let `xpos` be the highest position, if possible, such that the following
|
| 86 |
conditions hold:
|
| 87 |
|
| 88 |
- `xpos <= pos`
|
| 89 |
- `xpos < size()`
|
| 90 |
+
- `traits::eq(`*`data_`*`[xpos], str[I])` for some element `I` of the
|
| 91 |
+
string referenced by `str`.
|
| 92 |
|
| 93 |
*Effects:* Determines `xpos`.
|
| 94 |
|
| 95 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 96 |
Otherwise, returns `npos`.
|
|
|
|
| 102 |
Let `xpos` be the lowest position, if possible, such that the following
|
| 103 |
conditions hold:
|
| 104 |
|
| 105 |
- `pos <= xpos`
|
| 106 |
- `xpos < size()`
|
| 107 |
+
- `traits::eq(`*`data_`*`[xpos], str[I])` for no element `I` of the
|
| 108 |
+
string referenced by `str`.
|
| 109 |
|
| 110 |
*Effects:* Determines `xpos`.
|
| 111 |
|
| 112 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 113 |
Otherwise, returns `npos`.
|
|
|
|
| 119 |
Let `xpos` be the highest position, if possible, such that the following
|
| 120 |
conditions hold:
|
| 121 |
|
| 122 |
- `xpos <= pos`
|
| 123 |
- `xpos < size()`
|
| 124 |
+
- `traits::eq(`*`data_`*`[xpos], str[I])` for no element `I` of the
|
| 125 |
+
string referenced by `str`.
|
| 126 |
|
| 127 |
*Effects:* Determines `xpos`.
|
| 128 |
|
| 129 |
*Returns:* `xpos` if the function can determine such a value for `xpos`.
|
| 130 |
Otherwise, returns `npos`.
|