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

A real sort
Наследование: ArithSort
Показать файл Открыть проект Примеры использования класса

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

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