(width=None)
return get_env().formula_manager.BVZero(width)
Returns the zero constant BitVector.

    :param width: Specify the width of the BitVector
    :returns: The unsigned zero constant BitVector
    :rtype: FNode
Returns the zero constant BitVector.
Returns the zero constant BitVector .
def BVZero(width=None):
    """Returns the zero constant BitVector.

    :param width: Specify the width of the BitVector
    :returns: The unsigned zero constant BitVector
    :rtype: FNode
    """
    return get_env().formula_manager.BVZero(width)
def BVZero ( width = None ) : return get_env ( ) . formula_manager . BVZero ( width )