Microsoft.Z3.AST.IncRef C# (CSharp) Method

        internal override void IncRef(IntPtr o)
        {
            // Console.WriteLine("AST IncRef()");
            if (Context == null)
                throw new Z3Exception("inc() called on null context");
            if (o == IntPtr.Zero)
                throw new Z3Exception("inc() called on null AST");
            Context.AST_DRQ.IncAndClear(Context, o);
            base.IncRef(o);
        }