Home
last modified time | relevance | path

Searched refs:new_resp_var (Results 1 – 10 of 10) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dgaussian.cpp653 uint32_t new_resp_var; in find_truths() local
662 new_resp_var, in find_truths()
741 assert(new_resp_var != var); in find_truths()
742 clear_gwatches(new_resp_var); in find_truths()
748 assert(new_resp_var != var); in find_truths()
751 print_gwatches(new_resp_var); in find_truths()
753 check_row_not_in_watch(new_resp_var, row_n); in find_truths()
764 var_has_resp_row[new_resp_var] = 1; in find_truths()
767 gqd.new_resp_var = new_resp_var; in find_truths()
775 row_to_var_non_resp[row_n] = new_resp_var; in find_truths()
[all …]
H A Dpackedrow.cpp133 uint32_t& new_resp_var, in propGause() argument
171 new_resp_var = var; in propGause()
H A Dgqueuedata.h30 uint32_t new_resp_var; // do elimination variable member
H A Dpackedrow.h269 uint32_t& new_resp_var,
H A Dsearcher.cpp3107 gqueuedata[i->matrix_num].new_resp_var = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dgaussian.cpp653 uint32_t new_resp_var; in find_truths() local
662 new_resp_var, in find_truths()
741 assert(new_resp_var != var); in find_truths()
742 clear_gwatches(new_resp_var); in find_truths()
748 assert(new_resp_var != var); in find_truths()
751 print_gwatches(new_resp_var); in find_truths()
753 check_row_not_in_watch(new_resp_var, row_n); in find_truths()
764 var_has_resp_row[new_resp_var] = 1; in find_truths()
767 gqd.new_resp_var = new_resp_var; in find_truths()
775 row_to_var_non_resp[row_n] = new_resp_var; in find_truths()
[all …]
H A Dpackedrow.cpp133 uint32_t& new_resp_var, in propGause() argument
171 new_resp_var = var; in propGause()
H A Dgqueuedata.h30 uint32_t new_resp_var; // do elimination variable member
H A Dpackedrow.h269 uint32_t& new_resp_var,
H A Dsearcher.cpp3107 gqueuedata[i->matrix_num].new_resp_var = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim()