C# Class Microsoft.Z3.Z3Object

Inheritance: IDisposable
Mostrar archivo Open project: sslab-gatech/juxta Class Usage Examples

Private Properties

Property Type Description
ArrayLength uint
ArrayToNative System.IntPtr[]
CheckNativeObject void
DecRef void
GetNativeObject System.IntPtr
IncRef void
ObjectInvariant void
Z3Object System
Z3Object System

Public Methods

Method Description
Dispose ( ) : void

Disposes of the underlying native Z3 object.

Private Methods

Method Description
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

Method Details

Dispose() public method

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