C# Класс Microsoft.Z3.Z3Object

Наследование: IDisposable
Показать файл Открыть проект Примеры использования класса

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