Home
last modified time | relevance | path

Searched refs:gmatrices (Results 1 – 16 of 16) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/
H A Dmatrixfinder_test.cpp69 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 Dmatrixfinder_test.cpp69 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 Dmatrixfinder.cpp102 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 Dsearcher.cpp1222 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 Dsolver.cpp3947 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 Dsearcher.h152 vector<EGaussian*> gmatrices;
H A Dgaussian.cpp261 if (solver->gmatrices.size() == 0) { in clear_gwatches()
769 if (solver->gmatrices.size() == 1) { in find_truths()
H A Dvarreplacer.cpp1052 assert(solver->gmatrices.empty()); in replace_if_enough_is_found()
H A Doccsimplifier.cpp1493 assert(solver->gmatrices.empty()); in simplify()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dmatrixfinder.cpp102 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 Dsearcher.cpp1222 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 Dsolver.cpp3947 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 Dsearcher.h152 vector<EGaussian*> gmatrices; variable
H A Dgaussian.cpp261 if (solver->gmatrices.size() == 0) { in clear_gwatches()
769 if (solver->gmatrices.size() == 1) { in find_truths()
H A Dvarreplacer.cpp1052 assert(solver->gmatrices.empty()); in replace_if_enough_is_found()
H A Doccsimplifier.cpp1493 assert(solver->gmatrices.empty()); in simplify()