Home
last modified time | relevance | path

Searched refs:mul_probe (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/tactic/
H A Dprobe.cpp164 class mul_probe : public bin_probe { class
166 mul_probe(probe * p1, probe * p2):bin_probe(p1, p2) {} in mul_probe() function in mul_probe
239 return alloc(mul_probe, p1, p2); in mk_mul()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/
H A Dprobe.cpp164 class mul_probe : public bin_probe { class
166 mul_probe(probe * p1, probe * p2):bin_probe(p1, p2) {} in mul_probe() function in mul_probe
239 return alloc(mul_probe, p1, p2); in mk_mul()