C# 클래스 Microsoft.Z3.Fixedpoint.DecRefQueue

상속: IDecRefQueue
파일 보기 프로젝트 열기: sslab-gatech/juxta

공개 메소드들

메소드 설명
DecRef ( Context ctx, IntPtr obj ) : void
IncRef ( Context ctx, IntPtr obj ) : void

메소드 상세

DecRef() 공개 메소드

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

IncRef() 공개 메소드

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