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

            internal override void IncRef(IntPtr o)
            {
                Context.FuncEntry_DRQ.IncAndClear(Context, o);
                base.IncRef(o);
            }