/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | matrixfinder_test.cpp | 65 s->xorclauses = xs; in TEST_F() 79 s->xorclauses = xs; in TEST_F() 93 s->xorclauses = xs; in TEST_F() 112 s->xorclauses = xs; in TEST_F() 135 s->xorclauses = xs; in TEST_F()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | matrixfinder_test.cpp | 65 s->xorclauses = xs; in TEST_F() 79 s->xorclauses = xs; in TEST_F() 93 s->xorclauses = xs; in TEST_F() 112 s->xorclauses = xs; in TEST_F() 135 s->xorclauses = xs; in TEST_F()
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | gaussian.h | 69 const vector<Xor>& xorclauses 101 vector<Xor> xorclauses; variable
|
H A D | gaussian.cpp | 70 xorclauses(_xorclauses), in EGaussian() 139 for (const Xor& x : xorclauses) { in select_columnorder() 157 if (xorclauses.size() >= std::numeric_limits<uint32_t>::max() / 2 - 1) { in select_columnorder() 216 return xorclauses.size(); in select_columnorder() 231 for (uint32_t i = 0; i != xorclauses.size(); i++) { in fill_matrix() 232 const Xor& c = xorclauses[i]; in fill_matrix() 278 for(Xor& x: xorclauses) { in clean_xors() 282 if (!f.add_new_truths_from_xors(xorclauses)) in clean_xors() 300 if (!solver->clauseCleaner->clean_xor_clauses(xorclauses)) { in full_init()
|
H A D | solver.cpp | 848 for(Xor& x: xorclauses) { in renumber_clauses() 994 for(const auto& x: xorclauses) { in renumber_variables() 1027 if (!xorclauses.empty()) { in renumber_variables() 1085 for(const auto& x: xorclauses) { in renumber_variables() 3817 auto xors = xorclauses; in get_recovered_xors() 3921 xorclauses = mfinder.xors; in find_and_init_all_matrices() 4355 for(auto& x: xorclauses) { in detach_xor_clauses() 4505 for(const auto& x: xorclauses) { in detach_xor_clauses() 4580 for(auto& x: xorclauses) { in fully_undo_xor_detach() 4684 for(const auto& x: xorclauses) { in extend_model_to_detached_xors() [all …]
|
H A D | matrixfinder.cpp | 116 for(const Xor& x: solver->xorclauses) { 119 solver->xorclauses.clear();
|
H A D | cnf.h | 176 vector<Xor> xorclauses; variable
|
H A D | comphandler.cpp | 166 solver->xorclauses.clear(); in handle()
|
H A D | xorfinder.cpp | 39 xors(_solver->xorclauses) in XorFinder()
|
H A D | varreplacer.cpp | 268 if (!replace_xor_clauses(solver->xorclauses)) { in perform_replace()
|
H A D | occsimplifier.cpp | 1360 auto xors = solver->xorclauses; in execute_simplifier_strategy() 1394 solver->xorclauses.clear(); in execute_simplifier_strategy()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | gaussian.h | 69 const vector<Xor>& xorclauses 101 vector<Xor> xorclauses; variable
|
H A D | gaussian.cpp | 70 xorclauses(_xorclauses), in EGaussian() 139 for (const Xor& x : xorclauses) { in select_columnorder() 157 if (xorclauses.size() >= std::numeric_limits<uint32_t>::max() / 2 - 1) { in select_columnorder() 216 return xorclauses.size(); in select_columnorder() 231 for (uint32_t i = 0; i != xorclauses.size(); i++) { in fill_matrix() 232 const Xor& c = xorclauses[i]; in fill_matrix() 278 for(Xor& x: xorclauses) { in clean_xors() 282 if (!f.add_new_truths_from_xors(xorclauses)) in clean_xors() 300 if (!solver->clauseCleaner->clean_xor_clauses(xorclauses)) { in full_init()
|
H A D | solver.cpp | 848 for(Xor& x: xorclauses) { in renumber_clauses() 994 for(const auto& x: xorclauses) { in renumber_variables() 1027 if (!xorclauses.empty()) { in renumber_variables() 1085 for(const auto& x: xorclauses) { in renumber_variables() 3817 auto xors = xorclauses; in get_recovered_xors() 3921 xorclauses = mfinder.xors; in find_and_init_all_matrices() 4355 for(auto& x: xorclauses) { in detach_xor_clauses() 4505 for(const auto& x: xorclauses) { in detach_xor_clauses() 4580 for(auto& x: xorclauses) { in fully_undo_xor_detach() 4684 for(const auto& x: xorclauses) { in extend_model_to_detached_xors() [all …]
|
H A D | matrixfinder.cpp | 116 for(const Xor& x: solver->xorclauses) { in findMatrixes() 119 solver->xorclauses.clear(); in findMatrixes()
|
H A D | cnf.h | 176 vector<Xor> xorclauses; variable
|
H A D | comphandler.cpp | 166 solver->xorclauses.clear(); in handle()
|
H A D | xorfinder.cpp | 39 xors(_solver->xorclauses) in XorFinder()
|
H A D | varreplacer.cpp | 268 if (!replace_xor_clauses(solver->xorclauses)) { in perform_replace()
|
H A D | occsimplifier.cpp | 1360 auto xors = solver->xorclauses; in execute_simplifier_strategy() 1394 solver->xorclauses.clear(); in execute_simplifier_strategy()
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/fuzz/ |
H A D | xor_to_cnf_class.py | 72 xorclauses, atvar = self.cut_up_xor_to_n(line, atvar) 73 for xorcl in xorclauses:
|
/dports/math/cryptominisat/cryptominisat-5.8.0/scripts/fuzz/ |
H A D | xor_to_cnf_class.py | 72 xorclauses, atvar = self.cut_up_xor_to_n(line, atvar) 73 for xorcl in xorclauses:
|