Searched refs:gqhead (Results 1 – 6 of 6) sorted by relevance
1231 assert(gqhead <= qhead); in check_need_gauss_jordan_disable()1235 gqhead = qhead; in check_need_gauss_jordan_disable()1267 gqhead = qhead; in search()3085 while (gqhead < trail.size() in gauss_jordan_elim()3088 const Lit p = trail[gqhead].lit; in gauss_jordan_elim()3089 uint32_t currLevel = trail[gqhead].lev; in gauss_jordan_elim()3090 gqhead++; in gauss_jordan_elim()3145 assert(solver->gqhead == solver->trail.size()); in gauss_jordan_elim()3165 gqhead = qhead = trail.size(); in gauss_jordan_elim()3717 gqhead = qhead; in cancelUntil()
122 uint32_t gqhead; variable
3875 gqhead = trail.size(); in find_and_init_all_matrices()