def is_bid_suit(self, suit, position):
# Look for the annotation of bidding a suit.
if did_bid_annotation(suit) in self.annotations_for_position(position):
return True
previous_history = self._history_after_last_call_for(position)
if not previous_history:
return False
# Check for the a length of 4 or more.
return is_certain(previous_history._solver(), expr_for_suit(suit) >= 4)
def _solve_for_is_balanced(self):
return is_certain(self._solver(), model.balanced)
