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

Показать файл Открыть проект

Открытые свойства

Свойство	Тип	Описание
name	String
sort	Microsoft.Z3.Sort
z3p	Z3Provider

Открытые методы

Метод	Описание
EnumSort ( EnumDef def, Z3Provider z3p ) : System

Описание методов

EnumSort() публичный Метод

public EnumSort ( EnumDef def, Z3Provider z3p ) : System
def	Microsoft.Fast.AST.EnumDef
z3p	Z3Provider
Результат	System

Описание свойств

name публичное свойство

public String name
Результат	String

sort публичное свойство

public Sort,Microsoft.Z3 sort
Результат	Microsoft.Z3.Sort

z3p публичное свойство

public Z3Provider z3p
Результат	Z3Provider