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

IDecRefQueue Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

DecRef() public abstract méthode

public abstract DecRef ( Context ctx, IntPtr obj ) : void
ctx Context
obj System.IntPtr
Résultat void 
        public abstract void DecRef(Context ctx, IntPtr obj);
IDecRefQueue
Add
Clear
DecRef
IncAndClear
IncRef
ObjectInvariant