projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adding SMT Interpreters
[satune.git]
/
src
/
AST
/
ops.h
diff --git
a/src/AST/ops.h
b/src/AST/ops.h
index 8b082025348ffaeab34916512eb55368068473d9..6d6fd97a36242e1eac656145f145fc05bd348c86 100644
(file)
--- a/
src/AST/ops.h
+++ b/
src/AST/ops.h
@@
-26,4
+26,8
@@
typedef enum OverFlowBehavior OverFlowBehavior;
enum UndefinedBehavior {SATC_IGNOREBEHAVIOR, SATC_FLAGFORCEUNDEFINED, SATC_UNDEFINEDSETSFLAG, SATC_FLAGIFFUNDEFINED};
typedef enum UndefinedBehavior UndefinedBehavior;
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
#endif