(self)
return self.bv_unsigned_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 bv2nat(self):
        """Return the unsigned value encoded by the BitVector."""
        return self.bv_unsigned_value()
def bv2nat ( self ) : return self . bv_unsigned_value ( )