Microsoft.Z3.ApplyResult.DecRefQueue.DecRef C# (CSharp) Méthode

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