(self, formula)
return self.create_node(node_type=op.BV_NOT,
                                args=(formula,),
                                payload=(formula.bv_width(),))
Returns the bitvector Not(bv)
Returns the bitvector Not(bv)
Returns the bitvector Not ( bv )
def BVNot(self, formula):
        """Returns the bitvector Not(bv)"""
        return self.create_node(node_type=op.BV_NOT,
                                args=(formula,),
                                payload=(formula.bv_width(),))
def BVNot ( self , formula ) : return self . create_node ( node_type = op . BV_NOT , args = ( formula , ) , payload = ( formula . bv_width ( ) , ) )