Searched refs:level_used_for_cl_arr (Results 1 – 4 of 4) sorted by relevance
114 level_used_for_cl_arr.insert(level_used_for_cl_arr.end(), 1, 0); in new_var()127 level_used_for_cl_arr.insert(level_used_for_cl_arr.end(), n, 0); in new_vars()136 level_used_for_cl_arr.resize(nVars()); in save_on_var_memory()177 !level_used_for_cl_arr[varData[var].level] in add_lit_to_learnt()179 level_used_for_cl_arr[varData[var].level] = 1; in add_lit_to_learnt()781 for(auto& x: level_used_for_cl_arr) { in analyze_conflict()834 assert(level_used_for_cl_arr[lev] == 1); in analyze_conflict()835 level_used_for_cl_arr[lev] = 0; in analyze_conflict()
428 vector<unsigned char> level_used_for_cl_arr;
428 vector<unsigned char> level_used_for_cl_arr; variable