(self)
return twos_complement(self.constant_value(), self.bv_width())
Return the signed value encoded by the BitVector.
Return the signed value encoded by the BitVector.
Return the signed value encoded by the BitVector .
def bv_signed_value(self):
        """Return the signed value encoded by the BitVector."""
        return twos_complement(self.constant_value(), self.bv_width())
def bv_signed_value ( self ) : return twos_complement ( self . constant_value ( ) , self . bv_width ( ) )