X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Finc_solver.h;h=9b3e2ab55cc61f6ee503bcd81288e66974a5e538;hb=606e9d6098c5a616b21f0abbb734e55c9cf63c17;hp=ead727fba25395146b7ae64fa57e3d0d8d91bc9c;hpb=2fdb3e8b65ae7e1490997e5df9ad8cc0929e1589;p=satune.git

diff --git a/src/Backend/inc_solver.h b/src/Backend/inc_solver.h
index ead727f..9b3e2ab 100644
--- a/src/Backend/inc_solver.h
+++ b/src/Backend/inc_solver.h
@@ -29,18 +29,19 @@ struct IncrementalSolver {
 };
 
 IncrementalSolver * allocIncrementalSolver();
-void deleteIncrementalSolver(IncrementalSolver * this);
-void addClauseLiteral(IncrementalSolver * this, int literal);
-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);
+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