(self, left, right)
return self.BVSLT(right, left)
Returns the SIGNED GREATER-THAN comparison for BV.
Returns the SIGNED GREATER-THAN comparison for BV.
Returns the SIGNED GREATER - THAN comparison for BV .
def BVSGT(self, left, right):
        """Returns the SIGNED GREATER-THAN comparison for BV."""
        return self.BVSLT(right, left)
def BVSGT ( self , left , right ) : return self . BVSLT ( right , left )