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

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

공개 프로퍼티들

프로퍼티 타입 설명
trans1 BuiltinTransExp
trans2 BuiltinTransExp

공개 메소드들

메소드 설명
TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System

비공개 메소드들

메소드 설명
Typecheck ( FastPgm pgm ) : void

메소드 상세

TransEquivQueryDef() 공개 메소드

public TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System
equiv FastToken
trans1 BuiltinTransExp
trans2 BuiltinTransExp
리턴 System

프로퍼티 상세

trans1 공개적으로 프로퍼티

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

trans2 공개적으로 프로퍼티

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