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

        internal override void DecRef(IntPtr o)
        {
            Context.Model_DRQ.Add(o);
            base.DecRef(o);
        }