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