set<ue2_literal> lits = getLiteralSet(h, e);
compressAndScore(lits);
cut_lits[e] = lits;
-
- DEBUG_PRINTF("cut lit '%s'\n",
- dumpString(*cut_lits[e].begin()).c_str());
}
/* if literals are underlength bail or if it involves a forbidden edge*/
sanitizeAndCompressAndScore(lits);
cut_lits[e] = lits;
-
- DEBUG_PRINTF("cut lit '%s' %u->%u\n",
- dumpString(*cut_lits[e].begin()).c_str(),
- h[source(e, h)].index, h[target(e, h)].index);
}
/* if literals are underlength bail or if it involves a forbidden edge*/