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

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

Приватные методы

Метод Описание
CheckNativeObject ( IntPtr obj ) : void
IntSymbol ( Context ctx, IntPtr obj ) : System
IntSymbol ( Context ctx, int i ) : System