Changeset 31f4837 for libcfa/src

Timestamp:

May 13, 2024, 10:26:59 AM (17 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

e6f1a4b

Parents:

acb33f15 (diff), ca4f2b2 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• libcfa/src/enum.hfa (modified) (1 diff)

libcfa/src/enum.hfa

@@ -26 +26 @@
         forall(E | TypedEnum(T, E)) {
                 // comparison
-                int ?==?(E l, E r);
-                int ?!=?(E l, E r);
-                int ?!=?(E l, zero_t);
-                int ?<?(E l, E r);
-                int ?<=?(E l, E r);
-                int ?>?(E l, E r);
-                int ?>=?(E l, E r);
+                int ?==?(E l, E r);                                                             // true if l and r are same enumerators
+                int ?!=?(E l, E r);                                                             // true if l and r are different enumerators
+                int ?!=?(E l, zero_t);                                                  // true if l is not the first enumerator
+                int ?<?(E l, E r);                                                              // true if l is an enuemerator before r
+                int ?<=?(E l, E r);                                                             // true if l before or the same as r
+                int ?>?(E l, E r);                                                              // true if l is an enuemrator after r
+                int ?>=?(E l, E r);                                                             // true if l after or the same as r
         }
 }