Microsoft.Z3.FuncInterp.Entry.DecRefQueue.IncRef C# (CSharp) Méthode

                public override void IncRef(Context ctx, IntPtr obj)
                {
                    Native.Z3_func_entry_inc_ref(ctx.nCtx, obj);
                }