C# 클래스 Microsoft.Z3.Z3Object

상속: IDisposable
파일 보기 프로젝트 열기: sslab-gatech/juxta 1 사용 예제들

Private Properties

프로퍼티 타입 설명
ArrayLength uint
ArrayToNative System.IntPtr[]
CheckNativeObject void
DecRef void
GetNativeObject System.IntPtr
IncRef void
ObjectInvariant void
Z3Object System
Z3Object System

공개 메소드들

메소드 설명
Dispose ( ) : void

Disposes of the underlying native Z3 object.

비공개 메소드들

메소드 설명
ArrayLength ( Z3Object a ) : uint
ArrayToNative ( Z3Object a ) : System.IntPtr[]
CheckNativeObject ( IntPtr obj ) : void
DecRef ( IntPtr o ) : void
GetNativeObject ( Z3Object s ) : IntPtr
IncRef ( IntPtr o ) : void
ObjectInvariant ( ) : void
Z3Object ( Context ctx ) : System
Z3Object ( Context ctx, IntPtr obj ) : System

메소드 상세

Dispose() 공개 메소드

Disposes of the underlying native Z3 object.
public Dispose ( ) : void
리턴 void