C# 클래스 Microsoft.Automata.MSO.Mona.MonaVarWhere

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

공개 프로퍼티들

프로퍼티 타입 설명
token Token
where MonaExpr

공개 메소드들

메소드 설명
Print ( StringBuilder sb ) : void
ToString ( ) : string

비공개 메소드들

메소드 설명
MonaVarWhere ( Token token, MonaExpr where ) : System

메소드 상세

Print() 공개 메소드

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

ToString() 공개 메소드

public ToString ( ) : string
리턴 string

프로퍼티 상세

token 공개적으로 프로퍼티

public Token,Microsoft.Automata.MSO.Mona token
리턴 Token

where 공개적으로 프로퍼티

public MonaExpr,Microsoft.Automata.MSO.Mona where
리턴 MonaExpr