X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=solver_interface.h;h=cd2f0760d54ae0e934606ca0c58c8d2b54540aa3;hp=295c52e2a5f62a167613ad28815183838377bde2;hb=23cbbacd68e917a66bb1334193d4e2c53c176071;hpb=16db0f7120215c74f5a4ab47e70b97df59bf7513

diff --git a/solver_interface.h b/solver_interface.h
index 295c52e..cd2f076 100644
--- a/solver_interface.h
+++ b/solver_interface.h
@@ -1,12 +1,14 @@
 #ifndef SOLVER_INTERFACE_H
 #define SOLVER_INTERFACE_H
 
+#define IS_OUT_FD 3
+
 #define IS_UNSAT 0
 #define IS_SAT 1
 #define IS_INDETER 2
-#define IS_RUNSOLVER 3
 #define IS_FREEZE 3
+#define IS_RUNSOLVER 4
 
-#define BUFFERSIZE 1024
+#define IS_BUFFERSIZE 1024
 
 #endif