84 |
* <li>if compare(a, b) < 0 and compare(b, c) < 0 then compare(a, c) |
* <li>if compare(a, b) < 0 and compare(b, c) < 0 then compare(a, c) |
85 |
* < 0</li> |
* < 0</li> |
86 |
* <li>if compare(a, b) == 0 then compare(a, c) and compare(b, c) must |
* <li>if compare(a, b) == 0 then compare(a, c) and compare(b, c) must |
87 |
* have the same sign</li |
* have the same sign</li> |
88 |
* </ul> |
* </ul> |
89 |
* To be consistent with equals, the following additional constraint is |
* To be consistent with equals, the following additional constraint is |
90 |
* in place: |
* in place: |