Searched refs:set_on_xor (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_npn3_finder.h | 122 …void set_on_xor(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o… in set_on_xor() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | finder.cpp | 108 _check_finder(s, std::mem_fn(&sat::npn3_finder::set_on_xor), "xor", 1, 3, 4, 6); in tst_single_xor()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_npn3_finder.h | 123 …void set_on_xor(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o… in set_on_xor() function
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | finder.cpp | 108 _check_finder(s, std::mem_fn(&sat::npn3_finder::set_on_xor), "xor", 1, 3, 4, 6); in tst_single_xor()
|