Searched refs:vars_used_for_cl (Results 1 – 4 of 4) sorted by relevance
427 vector<uint32_t> vars_used_for_cl;
830 vars_used_for_cl.clear(); in analyze_conflict()832 vars_used_for_cl.push_back(trail[trail_lim[lev-1]].lit.var()); in analyze_conflict()1608 for(uint32_t v: vars_used_for_cl) { in dump_sql_clause_data()
427 vector<uint32_t> vars_used_for_cl; variable