X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Finc_solver.h;h=78506b45dbc7ddc6526b69cb3ab5b6396017cc8c;hb=7ce425ac7ed2ff3b348d1d8be37df8a5e3db21f2;hp=9b3e2ab55cc61f6ee503bcd81288e66974a5e538;hpb=83f96cdb1f67422e13596dbf39a08f3aac272e41;p=satune.git

diff --git a/src/Backend/inc_solver.h b/src/Backend/inc_solver.h
index 9b3e2ab..78506b4 100644
--- a/src/Backend/inc_solver.h
+++ b/src/Backend/inc_solver.h
@@ -19,29 +19,29 @@
 #include "classlist.h"
 
 struct IncrementalSolver {
-	int * buffer;
-	int * solution;
+	int *buffer;
+	int *solution;
 	int solutionsize;
-	int offset;
+	uint offset;
 	pid_t solver_pid;
 	int to_solver_fd;
 	int from_solver_fd;
 };
 
-IncrementalSolver * allocIncrementalSolver();
-void deleteIncrementalSolver(IncrementalSolver * This);
-void addClauseLiteral(IncrementalSolver * This, int literal);
-void addArrayClauseLiteral(IncrementalSolver * This, uint numliterals, int * literals);
-void finishedClauses(IncrementalSolver * This);
-void freeze(IncrementalSolver * This, int variable);
-int solve(IncrementalSolver * This);
-void startSolve(IncrementalSolver * This);
-int getSolution(IncrementalSolver * This);
-bool getValueSolver(IncrementalSolver * This, int variable);
-void resetSolver(IncrementalSolver * This);
-void createSolver(IncrementalSolver * This);
-void killSolver(IncrementalSolver * This);
-void flushBufferSolver(IncrementalSolver * This);
-int readIntSolver(IncrementalSolver * This);
-void readSolver(IncrementalSolver * This, void * buffer, ssize_t size);
+IncrementalSolver *allocIncrementalSolver();
+void deleteIncrementalSolver(IncrementalSolver *This);
+void addClauseLiteral(IncrementalSolver *This, int literal);
+void addArrayClauseLiteral(IncrementalSolver *This, uint numliterals, int *literals);
+void finishedClauses(IncrementalSolver *This);
+void freeze(IncrementalSolver *This, int variable);
+int solve(IncrementalSolver *This);
+void startSolve(IncrementalSolver *This);
+int getSolution(IncrementalSolver *This);
+bool getValueSolver(IncrementalSolver *This, int variable);
+void resetSolver(IncrementalSolver *This);
+void createSolver(IncrementalSolver *This);
+void killSolver(IncrementalSolver *This);
+void flushBufferSolver(IncrementalSolver *This);
+int readIntSolver(IncrementalSolver *This);
+void readSolver(IncrementalSolver *This, void *buffer, ssize_t size);
 #endif