Searched refs:unknown_lits (Results 1 – 1 of 1) sorted by relevance
542 int val_0_lits = 0, val_1_lits = 0, unknown_lits = 0; in delete_unrelevant_clauses() local547 else ++unknown_lits; in delete_unrelevant_clauses()548 if (unknown_lits + val_1_lits > _params.max_unrelevance) { in delete_unrelevant_clauses()555 (unknown_lits+val_1_lits > 1) ) { //to make sure it's not generating an implication in delete_unrelevant_clauses()