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