tmp/tmpyhcvvw5m/{from.md → to.md}
RENAMED
|
@@ -1,13 +1,13 @@
|
|
| 1 |
-
**Table: `match_results`
|
| 2 |
|
| 3 |
| Element | Value |
|
| 4 |
-
| ------------- | ----------------------------------------------- |
|
| 5 |
| `ready()` | `m.ready()` |
|
| 6 |
| `size()` | `m.size()` |
|
| 7 |
-
| `str(n)` | `m.str(n)` for all integers `n < m.size()` |
|
| 8 |
| `prefix()` | `m.prefix()` |
|
| 9 |
| `suffix()` | `m.suffix()` |
|
| 10 |
-
| `(*this)[n]` | `m[n]` for all integers `n < m.size()` |
|
| 11 |
-
| `length(n)` | `m.length(n)` for all integers `n < m.size()` |
|
| 12 |
-
| `position(n)` | `m.position(n)` for all integers `n < m.size()` |
|
| 13 |
|
|
|
|
| 1 |
+
**Table: `match_results` copy/move operation postconditions** <a id="re.results.const">[re.results.const]</a>
|
| 2 |
|
| 3 |
| Element | Value |
|
| 4 |
+
| ------------- | ------------------------------------------------------------ |
|
| 5 |
| `ready()` | `m.ready()` |
|
| 6 |
| `size()` | `m.size()` |
|
| 7 |
+
| `str(n)` | `m.str(n)` for all non-negative integers `n < m.size()` |
|
| 8 |
| `prefix()` | `m.prefix()` |
|
| 9 |
| `suffix()` | `m.suffix()` |
|
| 10 |
+
| `(*this)[n]` | `m[n]` for all non-negative integers `n < m.size()` |
|
| 11 |
+
| `length(n)` | `m.length(n)` for all non-negative integers `n < m.size()` |
|
| 12 |
+
| `position(n)` | `m.position(n)` for all non-negative integers `n < m.size()` |
|
| 13 |
|