(self, width)
return self.BV(0, width=width)
Returns the bit-vector with all bits set to zero.
Returns the bit-vector with all bits set to zero.
Returns the bit - vector with all bits set to zero .
def BVZero(self, width):
        """Returns the bit-vector with all bits set to zero."""
        return self.BV(0, width=width)
def BVZero ( self , width ) : return self . BV ( 0 , width = width )