Searched defs:mem_lit_clauses (Results 1 – 1 of 1) sorted by relevance
182 int mem_ht_ptrs =0, mem_lit_clauses = 0; in estimate_mem_usage() local193 int mem_ht_ptrs = 0, mem_lit_clauses = 0; in mem_usage() local