ourfree(This->buffer);
if (This->solution != NULL)
ourfree(This->solution);
+ ourfree(This);
}
void resetSolver(IncrementalSolver * This) {
flushBufferSolver(This);
}
}
+ This->buffer[This->offset++]=0;
+ if (This->offset==IS_BUFFERSIZE) {
+ flushBufferSolver(This);
+ }
}
void finishedClauses(IncrementalSolver * This) {