C# Class Microsoft.Z3.Solver.DecRefQueue

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

Méthodes publiques

Méthode Description
DecRef ( Context ctx, IntPtr obj ) : void
IncRef ( Context ctx, IntPtr obj ) : void

Method Details

DecRef() public méthode

public DecRef ( Context ctx, IntPtr obj ) : void
ctx Context
obj System.IntPtr
Résultat void

IncRef() public méthode

public IncRef ( Context ctx, IntPtr obj ) : void
ctx Context
obj System.IntPtr
Résultat void