Searched refs:num_deleted_literals (Results 1 – 4 of 4) sorted by relevance
77 int num_deleted_literals; member141 int & num_deleted_literals() { return _stats.num_deleted_literals; } in num_deleted_literals() function218 return _stats.num_added_literals - _stats.num_deleted_literals; in num_literals()223 _stats.num_deleted_literals += cl.num_lits(); in mark_clause_deleted()
51 _stats.num_deleted_literals = 0; in CDatabase()
136 { return _solver->num_deleted_literals(); } in GetNumDeletedLiterals()
583 cout << " and " << num_deleted_literals() - original_del_lits << " Literals " << endl;); in delete_unrelevant_clauses()