Serializing circuit encoding

[satune.git] / src / Backend / inc_solver.h

diff --git a/src/Backend/inc_solver.h b/src/Backend/inc_solver.h
index 78506b45dbc7ddc6526b69cb3ab5b6396017cc8c..3562a4270b76b6dfb2a8a0c3515e188eac632165 100644 (file)
--- a/src/Backend/inc_solver.h
+++ b/src/Backend/inc_solver.h
@@ -18,6 +18,8 @@
 #include "solver_interface.h"
 #include "classlist.h"
 
+#define NOTIMEOUT -1
+
 struct IncrementalSolver {
        int *buffer;
        int *solution;
@@ -26,6 +28,7 @@ struct IncrementalSolver {
        pid_t solver_pid;
        int to_solver_fd;
        int from_solver_fd;
+       long timeout;
 };
 
 IncrementalSolver *allocIncrementalSolver();
@@ -43,5 +46,6 @@ void createSolver(IncrementalSolver *This);
 void killSolver(IncrementalSolver *This);
 void flushBufferSolver(IncrementalSolver *This);
 int readIntSolver(IncrementalSolver *This);
+int readStatus(IncrementalSolver *This);
 void readSolver(IncrementalSolver *This, void *buffer, ssize_t size);
 #endif