projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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);
}
void finishedClauses(IncrementalSolver * This) {
addClauseLiteral(This, 0);
}