Searched refs:val_0_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() local545 if (lit_value == 0 ) ++val_0_lits; in delete_unrelevant_clauses()