C# Class Microsoft.Z3.Goal.DecRefQueue

Inheritance: IDecRefQueue
显示文件 Open project: sslab-gatech/juxta

Public Methods

Method Description
DecRef ( Context ctx, IntPtr obj ) : void
IncRef ( Context ctx, IntPtr obj ) : void

Method Details

DecRef() public method

public DecRef ( Context ctx, IntPtr obj ) : void
ctx Context
obj System.IntPtr
return void

IncRef() public method

public IncRef ( Context ctx, IntPtr obj ) : void
ctx Context
obj System.IntPtr
return void