Searched refs:mem_used_up (Results 1 – 3 of 3) sorted by relevance
44 _stats.mem_used_up = false; in CDatabase()123 _stats.mem_used_up = true; in enlarge_lit_pool()
71 bool mem_used_up; member
517 if (CDatabase::_stats.mem_used_up) { in delete_unrelevant_clauses()518 CDatabase::_stats.mem_used_up = false; in delete_unrelevant_clauses()