tmp/tmp3ops3szx/{from.md → to.md}
RENAMED
|
@@ -1,14 +0,0 @@
|
|
| 1 |
-
**Table: `NullablePointer` requirements** <a id="nullablepointer">[nullablepointer]</a>
|
| 2 |
-
|
| 3 |
-
| | | |
|
| 4 |
-
| -------------- | ---------------------------------- | ---------------------------------- |
|
| 5 |
-
| `P u(np);`<br> | | Postconditions: `u == nullptr` |
|
| 6 |
-
| `P u = np;` | | |
|
| 7 |
-
| `P(np)` | | Postconditions: `P(np) == nullptr` |
|
| 8 |
-
| `t = np` | `P&` | Postconditions: `t == nullptr` |
|
| 9 |
-
| `a != b` | contextually convertible to `bool` | `!(a == b)` |
|
| 10 |
-
| `a == np` | contextually convertible to `bool` | `a == P()` |
|
| 11 |
-
| `np == a` | | |
|
| 12 |
-
| `a != np` | contextually convertible to `bool` | `!(a == np)` |
|
| 13 |
-
| `np != a` | | |
|
| 14 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|