Changes in libcfa/src/enum.cfa [c5c123f:41c8312]

File:

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

libcfa/src/enum.cfa

@@ +1 @@
+#include "enum.hfa"
+
+#pragma GCC visibility push(default)
+
+forall(T, E| TypedEnum(T, E)) {
+    // constructors
+
+    // comparison
+    int ?==?(E l, E r) { return posE(l) == posE(r); }
+    int ?!=?(E l, E r) { return posE(l) != posE(r); }
+    int ?!=?(E l, zero_t) { return !( posE(l) == 0 ); }
+    int ?<?(E l, E r) { return posE(l) < posE(r); }
+    int ?<=?(E l, E r) { return posE(l) <= posE(r); }
+    int ?>?(E l, E r) { return posE(l) > posE(r); }
+    int ?>=?(E l, E r) {  return posE(l) >= posE(r); }
+}