Searched refs:mem_cls (Results 1 – 1 of 1) sorted by relevance
178 int mem_cls = sizeof(CClause) * in estimate_mem_usage() local185 return (lit_pool + mem_vars + mem_cls + in estimate_mem_usage()191 int mem_cls = sizeof(CClause) * clauses().capacity(); in mem_usage() local200 return (lit_pool + mem_vars + mem_cls + in mem_usage()