Lines Matching refs:bimpl
174 for bcond, bimpl in beta_rules:
186 for bcond, bimpl in beta_rules:
193 if bimpl not in x_all and bargs.issubset(x_all):
194 ximpls.add(bimpl)
198 bimpl_impl = x_impl.get(bimpl)
204 for bidx, (bcond, bimpl) in enumerate(beta_rules):
209 if bimpl in x_all:
213 if any(Not(xi) in bargs or Not(xi) == bimpl for xi in x_all):
441 for bcond, bimpl in P.rules_beta:
443 ({_as_pair(a) for a in bcond.args}, _as_pair(bimpl)))
548 bcond, bimpl = beta_rules[bidx]
550 facts.append(bimpl)