Home
last modified time | relevance | path

Searched refs:vars_used_for_cl (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h427 vector<uint32_t> vars_used_for_cl;
H A Dsearcher.cpp830 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()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h427 vector<uint32_t> vars_used_for_cl; variable
H A Dsearcher.cpp830 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()