Home
last modified time | relevance | path

Searched refs:xorclauses (Results 1 – 22 of 22) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/
H A Dmatrixfinder_test.cpp65 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 Dmatrixfinder_test.cpp65 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 Dgaussian.h69 const vector<Xor>& xorclauses
101 vector<Xor> xorclauses; variable
H A Dgaussian.cpp70 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 Dsolver.cpp848 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 Dmatrixfinder.cpp116 for(const Xor& x: solver->xorclauses) {
119 solver->xorclauses.clear();
H A Dcnf.h176 vector<Xor> xorclauses; variable
H A Dcomphandler.cpp166 solver->xorclauses.clear(); in handle()
H A Dxorfinder.cpp39 xors(_solver->xorclauses) in XorFinder()
H A Dvarreplacer.cpp268 if (!replace_xor_clauses(solver->xorclauses)) { in perform_replace()
H A Doccsimplifier.cpp1360 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 Dgaussian.h69 const vector<Xor>& xorclauses
101 vector<Xor> xorclauses; variable
H A Dgaussian.cpp70 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 Dsolver.cpp848 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 Dmatrixfinder.cpp116 for(const Xor& x: solver->xorclauses) { in findMatrixes()
119 solver->xorclauses.clear(); in findMatrixes()
H A Dcnf.h176 vector<Xor> xorclauses; variable
H A Dcomphandler.cpp166 solver->xorclauses.clear(); in handle()
H A Dxorfinder.cpp39 xors(_solver->xorclauses) in XorFinder()
H A Dvarreplacer.cpp268 if (!replace_xor_clauses(solver->xorclauses)) { in perform_replace()
H A Doccsimplifier.cpp1360 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 Dxor_to_cnf_class.py72 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 Dxor_to_cnf_class.py72 xorclauses, atvar = self.cut_up_xor_to_n(line, atvar)
73 for xorcl in xorclauses: