Searched refs:gmatrices (Results 1 – 16 of 16) sorted by relevance
/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | matrixfinder_test.cpp | 69 EXPECT_EQ(s->gmatrices.size(), 1); in TEST_F() 83 EXPECT_EQ(s->gmatrices.size(), 0); in TEST_F() 97 EXPECT_EQ(s->gmatrices.size(), 2); in TEST_F() 116 EXPECT_EQ(s->gmatrices.size(), 2); in TEST_F() 139 EXPECT_EQ(s->gmatrices.size(), 3); in TEST_F()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | matrixfinder_test.cpp | 69 EXPECT_EQ(s->gmatrices.size(), 1); in TEST_F() 83 EXPECT_EQ(s->gmatrices.size(), 0); in TEST_F() 97 EXPECT_EQ(s->gmatrices.size(), 2); in TEST_F() 116 EXPECT_EQ(s->gmatrices.size(), 2); in TEST_F() 139 EXPECT_EQ(s->gmatrices.size(), 3); in TEST_F()
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | matrixfinder.cpp | 102 assert(solver->gmatrices.empty()); 171 solver->gmatrices.push_back(new EGaussian(solver, 0, xors)); 172 solver->gqueuedata.resize(solver->gmatrices.size()); 405 solver->gmatrices.push_back( 407 solver->gqueuedata.resize(solver->gmatrices.size()); 413 assert(solver->gmatrices.size() == realMatrixNum);
|
H A D | searcher.cpp | 1222 gmatrices[i]->must_disable(gqd) in check_need_gauss_jordan_disable() 1229 gmatrices[i]->update_cols_vals_set(); in check_need_gauss_jordan_disable() 1397 assert(gmatrices[i]); in new_decision() 1429 for(uint32_t i = 0; i < gmatrices.size(); i++) { in new_decision() 1430 assert(gmatrices[i]); in new_decision() 3081 gmatrices[i]->update_cols_vals_set(); in gauss_jordan_elim() 3146 gmatrices[g]->check_invariants(); in gauss_jordan_elim() 3584 gmatrices[i]->canceling(); in cancelUntil() 3898 for(EGaussian* g: gmatrices) { in clear_gauss_matrices() 3904 gmatrices.clear(); in clear_gauss_matrices() [all …]
|
H A D | solver.cpp | 3947 for(size_t i = 0; i< gmatrices.size(); i++) { in find_and_init_all_matrices() 3948 if (gmatrices[i]) { in find_and_init_all_matrices() 3949 gmatrices[i]->check_watchlist_sanity(); in find_and_init_all_matrices() 3950 assert(gmatrices[i]->get_matrix_no() == i); in find_and_init_all_matrices() 3964 assert(gmatrices.size() == gqueuedata.size()); in init_all_matrices() 3965 for (uint32_t i = 0; i < gmatrices.size(); i++) { in init_all_matrices() 3966 auto& g = gmatrices[i]; in init_all_matrices() 3989 if (gmatrices[i] != NULL) { in init_all_matrices() 3990 gmatrices[j] = gmatrices[i]; in init_all_matrices() 3991 gmatrices[j]->update_matrix_no(j); in init_all_matrices() [all …]
|
H A D | searcher.h | 152 vector<EGaussian*> gmatrices;
|
H A D | gaussian.cpp | 261 if (solver->gmatrices.size() == 0) { in clear_gwatches() 769 if (solver->gmatrices.size() == 1) { in find_truths()
|
H A D | varreplacer.cpp | 1052 assert(solver->gmatrices.empty()); in replace_if_enough_is_found()
|
H A D | occsimplifier.cpp | 1493 assert(solver->gmatrices.empty()); in simplify()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | matrixfinder.cpp | 102 assert(solver->gmatrices.empty()); in findMatrixes() 171 solver->gmatrices.push_back(new EGaussian(solver, 0, xors)); in findMatrixes() 172 solver->gqueuedata.resize(solver->gmatrices.size()); in findMatrixes() 405 solver->gmatrices.push_back( in setMatrixes() 407 solver->gqueuedata.resize(solver->gmatrices.size()); in setMatrixes() 413 assert(solver->gmatrices.size() == realMatrixNum); in setMatrixes()
|
H A D | searcher.cpp | 1222 gmatrices[i]->must_disable(gqd) in check_need_gauss_jordan_disable() 1229 gmatrices[i]->update_cols_vals_set(); in check_need_gauss_jordan_disable() 1397 assert(gmatrices[i]); in new_decision() 1429 for(uint32_t i = 0; i < gmatrices.size(); i++) { in new_decision() 1430 assert(gmatrices[i]); in new_decision() 3081 gmatrices[i]->update_cols_vals_set(); in gauss_jordan_elim() 3146 gmatrices[g]->check_invariants(); in gauss_jordan_elim() 3584 gmatrices[i]->canceling(); in cancelUntil() 3898 for(EGaussian* g: gmatrices) { in clear_gauss_matrices() 3904 gmatrices.clear(); in clear_gauss_matrices() [all …]
|
H A D | solver.cpp | 3947 for(size_t i = 0; i< gmatrices.size(); i++) { in find_and_init_all_matrices() 3948 if (gmatrices[i]) { in find_and_init_all_matrices() 3949 gmatrices[i]->check_watchlist_sanity(); in find_and_init_all_matrices() 3950 assert(gmatrices[i]->get_matrix_no() == i); in find_and_init_all_matrices() 3964 assert(gmatrices.size() == gqueuedata.size()); in init_all_matrices() 3965 for (uint32_t i = 0; i < gmatrices.size(); i++) { in init_all_matrices() 3966 auto& g = gmatrices[i]; in init_all_matrices() 3989 if (gmatrices[i] != NULL) { in init_all_matrices() 3990 gmatrices[j] = gmatrices[i]; in init_all_matrices() 3991 gmatrices[j]->update_matrix_no(j); in init_all_matrices() [all …]
|
H A D | searcher.h | 152 vector<EGaussian*> gmatrices; variable
|
H A D | gaussian.cpp | 261 if (solver->gmatrices.size() == 0) { in clear_gwatches() 769 if (solver->gmatrices.size() == 1) { in find_truths()
|
H A D | varreplacer.cpp | 1052 assert(solver->gmatrices.empty()); in replace_if_enough_is_found()
|
H A D | occsimplifier.cpp | 1493 assert(solver->gmatrices.empty()); in simplify()
|