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

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

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

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