C# 클래스 Microsoft.Fast.RankedAlphabetSort

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
alph	Microsoft.Automata.Z3.RankedAlphabet
alphFieldsSorts	List
alphName	String
alphSort	Microsoft.Z3.Sort
tupleFuncDec	Microsoft.Z3.FuncDecl
tupleKeys	List
tupleName	String
tupleSort	Microsoft.Z3.Sort
tupleTests	Microsoft.Z3.FuncDecl[]
z3p	Z3Provider

공개 메소드들

메소드	설명
RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System

메소드 상세

RankedAlphabetSort() 공개 메소드

public RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System
def	Microsoft.Fast.AST.AlphabetDef
z3p	Z3Provider
fti	FastTransducerInstance
리턴	System

프로퍼티 상세

alph 공개적으로 프로퍼티

public RankedAlphabet,Microsoft.Automata.Z3 alph
리턴	Microsoft.Automata.Z3.RankedAlphabet

alphFieldsSorts 공개적으로 프로퍼티

public List alphFieldsSorts
리턴	List

alphName 공개적으로 프로퍼티

public String alphName
리턴	String

alphSort 공개적으로 프로퍼티

public Sort,Microsoft.Z3 alphSort
리턴	Microsoft.Z3.Sort

tupleFuncDec 공개적으로 프로퍼티

public FuncDecl,Microsoft.Z3 tupleFuncDec
리턴	Microsoft.Z3.FuncDecl

tupleKeys 공개적으로 프로퍼티

public List tupleKeys
리턴	List

tupleName 공개적으로 프로퍼티

public String tupleName
리턴	String

tupleSort 공개적으로 프로퍼티

public Sort,Microsoft.Z3 tupleSort
리턴	Microsoft.Z3.Sort

tupleTests 공개적으로 프로퍼티

public FuncDecl[],Microsoft.Z3 tupleTests
리턴	Microsoft.Z3.FuncDecl[]

z3p 공개적으로 프로퍼티

public Z3Provider z3p
리턴	Z3Provider