64 CHECK(cout <<
"Begin Compaction " <<
endl;);
77 for (
unsigned i=1; i<
variables().size(); ++i) {
110 CHECK(cout <<
"Begin Enlarge Lit Pool" <<
endl;);
135 int new_size = (int)(old_size * grow_ratio);
145 long displacement = _lit_pool_start - old_start;
146 for (
unsigned i=0; i<
clauses().size(); ++i)
150 for (
unsigned i=0; i<
variables().size(); ++i) {
152 for (
int j=0; j< 2 ; ++j) {
153 vector<CLitPoolElement *> & ht_ptr = v.
ht_ptr(j);
154 for (
unsigned k=0; k< ht_ptr.size(); ++k) {
155 ht_ptr[k] += displacement;
177 os <<
"Clause : " << cl_idx;
180 os <<
"\t\t\t======removed=====";
188 for (i=0; i<sz; ++i) {
198 os <<
"Dump Database: " <<
endl;
199 for(
unsigned i=0; i<
_clauses.size(); ++i)
203 os <<
"VID: " << i <<
"\t" <<
variable(i);