Searched refs:eq_right (Results 1 – 1 of 1) sorted by relevance
753 BtorAIG *eq, *eq_left, *eq_right; in btor_aig_eq() local758 eq_right = in btor_aig_eq()760 eq = btor_aig_and (amgr, eq_left, eq_right); in btor_aig_eq()762 btor_aig_release (amgr, eq_right); in btor_aig_eq()