CVS difference for ai05s/ai05-0044-1.txt
--- ai05s/ai05-0044-1.txt 2009/07/11 03:06:22 1.7
+++ ai05s/ai05-0044-1.txt 2009/10/15 04:20:17 1.8
@@ -1,4 +1,4 @@
-!standard A.18(4/2) 08-05-15 AI05-0044-1/04
+!standard A.18(4/2) 09-10-14 AI05-0044-1/05
!standard A.18.2(231/2)
!standard A.18.3(145/2)
!standard A.18.6(56/2)
@@ -9,7 +9,7 @@
!class binding interpretation 07-04-02
!status Amendment 201Z 08-11-26
!status WG9 Approved 08-06-20
-!status ARG Approved 7-0-2 06-11-10
+!status ARG Approved 7-0-2 07-11-10
!status work item 07-04-02
!status received 07-01-24
!priority Medium
@@ -63,7 +63,7 @@
it is generally required to define a strict weak ordering. An operator "<"
defines a *strict weak ordering* if it is irreflexive,
asymmetric, transitive, and in addition, if x < y for any values x and y,
-then for any other value z, (x < z) or (z < y).
+then for all other values z, (x < z) or (z < y).
Replace the second sentence of A.18.2(231/2) by
It should define a strict weak ordering relationship (see A.18); it should not modify
Questions? Ask the ACAA Technical Agent