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

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

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

Метод Описание
SetSort ( Context ctx, IntPtr obj ) : System
SetSort ( Context ctx, Microsoft.Z3.Sort ty ) : System