(formula)
return get_env().formula_manager.BVNot(formula)
Returns the bitwise negation of the bitvector

    :param formula: The target formula
    :returns: The bitvector Not(bv)
    :rtype: FNode
Returns the bitwise negation of the bitvector
Returns the bitwise negation of the bitvector
def BVNot(formula):
    """Returns the bitwise negation of the bitvector

    :param formula: The target formula
    :returns: The bitvector Not(bv)
    :rtype: FNode
    """
    return get_env().formula_manager.BVNot(formula)
def BVNot ( formula ) : return get_env ( ) . formula_manager . BVNot ( formula )