Searched refs: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() local186 mem_cls_queue + mem_ht_ptrs + mem_lit_clauses); in estimate_mem_usage()193 int mem_ht_ptrs = 0, mem_lit_clauses = 0; in mem_usage() local199 mem_lit_clauses *= sizeof(ClauseIdx); in mem_usage()201 mem_cls_queue + mem_ht_ptrs + mem_lit_clauses); in mem_usage()