Searched refs:is_mem_out (Results 1 – 2 of 2) sorted by relevance
121 bool is_mem_out; //this flag will be set if memory out member
78 _stats.is_mem_out = false; in CSolver()797 if (_stats.is_mem_out) { in real_solve()957 _stats.is_mem_out = true; in conflict_analysis_zchaff()