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

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