Home
last modified time | relevance | path

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 Dtheorems.c93 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 Dmaxand.h6 BoolectorNode *btor_maxand (Btor *btor,
H A Dmaxandmain.c65 result = btor_maxand (btor, a, b, c, d, m, num_bits); in main()
H A Dmaxand.c12 btor_maxand (Btor *btor, in btor_maxand() function