C# Класс Microsoft.Z3.Solver.DecRefQueue

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

Открытые методы

Метод Описание
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