#ifndef OPS_H
#define OPS_H
-enum LogicOp {SATC_AND, SATC_OR, SATC_NOT, SATC_XOR, SATC_IMPLIES};
+enum LogicOp {SATC_AND, SATC_OR, SATC_NOT, SATC_XOR, SATC_IFF, SATC_IMPLIES};
typedef enum LogicOp LogicOp;
enum ArithOp {SATC_ADD, SATC_SUB};
enum OrderType {SATC_PARTIAL, SATC_TOTAL};
typedef enum OrderType OrderType;
-enum HappenedBefore {SATC_FIRST, SATC_SECOND, SATC_UNORDERED};
-typedef enum HappenedBefore HappenedBefore;
-
/**
* SATC_FLAGFORCESOVERFLOW forces the operation to overflow if the boolean flag is true
* SATC_OVERFLOWSETSFLAG -- sets the flag if the operation overflows