Adding an API for translating the value of an BooleanOrder

[satune.git] / src / AST / ops.h

diff --git a/src/AST/ops.h b/src/AST/ops.h
index 39fc024b2d88c34eaaa5e0c05b003a3282c01883..5a7f092271868fbc13c82a166a1639fee8ad12e5 100644 (file)
--- a/src/AST/ops.h
+++ b/src/AST/ops.h
@@ -12,6 +12,9 @@ typedef enum CompOp CompOp;
 enum OrderType {PARTIAL, TOTAL};
 typedef enum OrderType OrderType;
 
+enum HappenedBefore {UNORDERED, FIRST, SECOND};
+typedef enum HappenedBefore HappenedBefore;
+
 /**
  *    FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
  *  OVERFLOWSETSFLAG -- sets the flag if the operation overflows