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

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

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

Метод Описание
FiniteDomainSort ( Context ctx, IntPtr obj ) : System
FiniteDomainSort ( Context ctx, Symbol name, ulong size ) : System