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

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

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

Метод Описание
EnumSort ( Context ctx, Symbol name, Symbol enumNames ) : System