more edits

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

diff --git a/src/Backend/inc_solver.c b/src/Backend/inc_solver.c
index 5e1ed548ab31e487d958bc1fb293c840ffc0533b..b9cc549fdbf30dc3fa408b008d8f24ec63db8ade 100644 (file)
--- a/src/Backend/inc_solver.c
+++ b/src/Backend/inc_solver.c
@@ -42,6 +42,15 @@ void addClauseLiteral(IncrementalSolver * This, int literal) {
        }
 }
 
+void addArrayClauseLiteral(IncrementalSolver * This, uint numliterals, int * literals) {
+       for(uint i=0;i<numliterals; i++) {
+               This->buffer[This->offset++]=literals[i];
+               if (This->offset==IS_BUFFERSIZE) {
+                       flushBufferSolver(This);
+               }
+       }
+}
+
 void finishedClauses(IncrementalSolver * This) {
        addClauseLiteral(This, 0);
 }