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

An arithmetic sort, i.e., Int or Real.
Наследование: Microsoft.Z3.Sort
Показать файл Открыть проект

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

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