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

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