def walk_not(self, formula, args, **kwargs): z3term = z3.Z3_mk_not(self.ctx.ref(), args[0]) z3.Z3_inc_ref(self.ctx.ref(), z3term) return z3term
def __neg__(self): v = self.val ctx = v.ctx return Z3BoolRef(z3.BoolRef(z3.Z3_mk_not(ctx.ref(), v.as_ast()), ctx))