(formula)
return get_env().formula_manager.BVNeg(formula)
Returns the arithmetic negation of the BV.

    :param formula: The target formula
    :returns: The arithmetic negation of the formula
    :rtype: FNode
Returns the arithmetic negation of the BV.
Returns the arithmetic negation of the BV .
def BVNeg(formula):
    """Returns the arithmetic negation of the BV.

    :param formula: The target formula
    :returns: The arithmetic negation of the formula
    :rtype: FNode
    """
    return get_env().formula_manager.BVNeg(formula)
def BVNeg ( formula ) : return get_env ( ) . formula_manager . BVNeg ( formula )