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)
