projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
edits
[satune.git]
/
src
/
Backend
/
solver_interface.h
diff --git
a/src/Backend/solver_interface.h
b/src/Backend/solver_interface.h
index 4fd2deabb7e8ed973e02f34e14d4f3fdc447f5ce..42edbb919fb546720705b4a7cb72800f988a3d8b 100644
(file)
--- a/
src/Backend/solver_interface.h
+++ b/
src/Backend/solver_interface.h
@@
-12,11
+12,7
@@
#define IS_OUT_FD 3
-#define IS_UNSAT 0
-#define IS_SAT 1
-#define IS_INDETER 2
-#define IS_FREEZE 3
-#define IS_RUNSOLVER 4
+enum SolverResult {IS_UNSAT=0, IS_SAT=1, IS_INDETER=2, IS_FREEZE=3, IS_RUNSOLVER=4};
#define IS_BUFFERSIZE 1024