Searched refs:estimate_mem_usage (Results 1 – 4 of 4) sorted by relevance
326 int estimate_mem_usage() { in estimate_mem_usage() function327 return CDatabase::estimate_mem_usage(); in estimate_mem_usage()
114 int current_mem = estimate_mem_usage(); in enlarge_lit_pool()
172 int estimate_mem_usage (void) in estimate_mem_usage() function
120 { return _solver->estimate_mem_usage(); } in GetMemUsed()