(self, left, right)
return self.BVSLE(right, left)
Returns the SIGNED GREATER-THAN-OR-EQUAL-TO comparison for BV.
Returns the SIGNED GREATER-THAN-OR-EQUAL-TO comparison for BV.
Returns the SIGNED GREATER - THAN - OR - EQUAL - TO comparison for BV .
def BVSGE(self, left, right):
        """Returns the SIGNED GREATER-THAN-OR-EQUAL-TO comparison for BV."""
        return self.BVSLE(right, left)
def BVSGE ( self , left , right ) : return self . BVSLE ( right , left )