C# 클래스 Microsoft.Fast.EnumSort

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 프로퍼티들

프로퍼티	타입	설명
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