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
enum UndefinedBehavior {SATC_IGNOREBEHAVIOR, SATC_FLAGFORCEUNDEFINED, SATC_UNDEFINEDSETSFLAG, SATC_FLAGIFFUNDEFINED};
typedef enum UndefinedBehavior UndefinedBehavior;
+enum InterpreterType {SATUNE, ALLOY, Z3, MATHSAT, SMTRAT};
+typedef enum InterpreterType InterpreterType;
+
+
#endif