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

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

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

Метод Описание
UninterpretedSort ( Context ctx, IntPtr obj ) : System
UninterpretedSort ( Context ctx, Symbol s ) : System