Searched refs:set_on_onehot (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 | 126 …void set_on_onehot(std::function<void(literal head, literal a, literal b, literal c)> const& f) { … in set_on_onehot() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | finder.cpp | 167 _check_finder(s, std::mem_fn(&sat::npn3_finder::set_on_onehot), "onehot", 6, 0, 2, 4); in tst_single_onehot()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_npn3_finder.h | 127 …void set_on_onehot(std::function<void(literal head, literal a, literal b, literal c)> const& f) { … in set_on_onehot() function
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | finder.cpp | 167 _check_finder(s, std::mem_fn(&sat::npn3_finder::set_on_onehot), "onehot", 6, 0, 2, 4); in tst_single_onehot()
|