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