Searched refs:b_minus_m (Results 1 – 2 of 2) sorted by relevance
| /dports/math/boolector/boolector-3.2.2/examples/api/c/boundsprop/ |
| H A D | maxxor.c | 21 BoolectorNode *tmp, *a, *b, *c, *d, *m_minus_1, *b_minus_m; in btor_maxxor() local
57 b_minus_m = boolector_sub (btor, b, m); in btor_maxxor()
58 temp_1 = boolector_or (btor, b_minus_m, m_minus_1); in btor_maxxor()
90 boolector_release (btor, b_minus_m); in btor_maxxor()
|
| H A D | maxor.c | 21 BoolectorNode *tmp, *a, *b, *c, *d, *m_minus_1, *b_minus_m; in btor_maxor() local
62 b_minus_m = boolector_sub (btor, b, m); in btor_maxor()
63 temp_1 = boolector_or (btor, b_minus_m, m_minus_1); in btor_maxor()
111 boolector_release (btor, b_minus_m); in btor_maxor()
|