Searched refs:not_b_and_d (Results 1 – 1 of 1) sorted by relevance
23 BoolectorNode *b_and_not_m, *not_b_and_d, *not_b_and_d_and_m, *d_and_not_m; in btor_maxand() local67 not_b_and_d = boolector_and (btor, not_b, d); in btor_maxand()68 not_b_and_d_and_m = boolector_and (btor, not_b_and_d, m); in btor_maxand()101 boolector_release (btor, not_b_and_d); in btor_maxand()