Searched refs:mk_half_adder (Results 1 – 4 of 4) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl.h | 77 void mk_half_adder(expr * a, expr * b, expr_ref & out, expr_ref & cout);
|
H A D | bit_blaster_tpl_def.h | 107 void bit_blaster_tpl<Cfg>::mk_half_adder(expr * a, expr * b, expr_ref & out, expr_ref & cout) { in mk_half_adder() function 127 mk_half_adder(not_a, cin, out, cout); in mk_neg() 245 mk_half_adder(i1, i2, out, cout); in mk_multiplier()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl.h | 81 void mk_half_adder(expr * a, expr * b, expr_ref & out, expr_ref & cout);
|
H A D | bit_blaster_tpl_def.h | 107 void bit_blaster_tpl<Cfg>::mk_half_adder(expr * a, expr * b, expr_ref & out, expr_ref & cout) { in mk_half_adder() function 127 mk_half_adder(not_a, cin, out, cout); in mk_neg() 250 mk_half_adder(i1, i2, out, cout); in mk_multiplier()
|