def expr(self, history, call): if not history.them.bid_suits: return model.NO_CONSTRAINTS return z3.And([model.stopper_expr_for_suit(suit) for suit in history.them.bid_suits])
def expr(self, history, call): return model.stopper_expr_for_suit(call.strain)
def expr(self, history, call): rho_suit = history.rho.last_call.strain if rho_suit is None: return model.NO_CONSTRAINTS return model.stopper_expr_for_suit(rho_suit)