(self, formula)
return self.create_node(node_type=op.BV_NEG,
                                args=(formula,),
                                payload=(formula.bv_width(),))
Returns the arithmetic negation of the BV.
Returns the arithmetic negation of the BV.
Returns the arithmetic negation of the BV .
def BVNeg(self, formula):
        """Returns the arithmetic negation of the BV."""
        return self.create_node(node_type=op.BV_NEG,
                                args=(formula,),
                                payload=(formula.bv_width(),))
def BVNeg ( self , formula ) : return self . create_node ( node_type = op . BV_NEG , args = ( formula , ) , payload = ( formula . bv_width ( ) , ) )