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

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

공개 프로퍼티들

프로퍼티 타입 설명
isTransEquiv bool

공개 메소드들

메소드 설명
EquivQueryDef ( FastToken equiv, BuiltinExp expr1, BuiltinExp expr2, bool isTransEquiv ) : System
PrettyPrint ( StringBuilder sb ) : void

메소드 상세

EquivQueryDef() 공개 메소드

public EquivQueryDef ( FastToken equiv, BuiltinExp expr1, BuiltinExp expr2, bool isTransEquiv ) : System
equiv FastToken
expr1 BuiltinExp
expr2 BuiltinExp
isTransEquiv bool
리턴 System

PrettyPrint() 공개 메소드

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

프로퍼티 상세

isTransEquiv 공개적으로 프로퍼티

public bool isTransEquiv
리턴 bool