(self)
return self.constant_value()
Return the unsigned value encoded by the BitVector.
Return the unsigned value encoded by the BitVector.
Return the unsigned value encoded by the BitVector .
def bv_unsigned_value(self):
        """Return the unsigned value encoded by the BitVector."""
        return self.constant_value()
def bv_unsigned_value ( self ) : return self . constant_value ( )