C# 클래스 Microsoft.Fast.AST.PreimageExp

상속: BuiltinLangExp

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

공개 프로퍼티들

프로퍼티	타입	설명
arg1	BuiltinTransExp
arg2	BuiltinLangExp

공개 메소드들

메소드	설명
PreimageExp ( FastToken func, BuiltinTransExp arg1, BuiltinLangExp arg2 ) : System
PrettyPrint ( StringBuilder sb ) : void
ToString ( ) : string

비공개 메소드들

메소드	설명
BLECheckSorts ( Def>.Dictionary defs, FastPgm pgm ) : void

메소드 상세

PreimageExp() 공개 메소드

public PreimageExp ( FastToken func, BuiltinTransExp arg1, BuiltinLangExp arg2 ) : System
func	FastToken
arg1	BuiltinTransExp
arg2	BuiltinLangExp
리턴	System

PrettyPrint() 공개 메소드

public PrettyPrint ( StringBuilder sb ) : void
sb	StringBuilder
리턴	void

ToString() 공개 메소드

public ToString ( ) : string
리턴	string

프로퍼티 상세

arg1 공개적으로 프로퍼티

public BuiltinTransExp,Microsoft.Fast.AST arg1
리턴	BuiltinTransExp

arg2 공개적으로 프로퍼티

public BuiltinLangExp,Microsoft.Fast.AST arg2
리턴	BuiltinLangExp