Searched refs:btor_maxand (Results 1 – 4 of 4) sorted by relevance
/dports/math/boolector/boolector-3.2.2/examples/api/c/boundsprop/ |
H A D | theorems.c | 93 max_and = btor_maxand (btor, a, b, c, d, m, num_bits); in main() 136 max_and_1 = btor_maxand (btor, a, b, not_d, not_c, m, num_bits); in main() 137 max_and_2 = btor_maxand (btor, not_b, not_a, c, d, m, num_bits); in main()
|
H A D | maxand.h | 6 BoolectorNode *btor_maxand (Btor *btor,
|
H A D | maxandmain.c | 65 result = btor_maxand (btor, a, b, c, d, m, num_bits); in main()
|
H A D | maxand.c | 12 btor_maxand (Btor *btor, in btor_maxand() function
|