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

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

공개 프로퍼티들

프로퍼티 타입 설명
let_vars MonaParam>.Dictionary
lets MonaExpr>>.Cons

공개 메소드들

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

비공개 메소드들

메소드 설명
MonaLet ( Token letkind, MonaExpr>.Cons lets, MonaExpr formula, MonaParam>.Dictionary let_vars ) : System
PrintLet ( MonaExpr>.Tuple t ) : string
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

메소드 상세

Print() 공개 메소드

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

프로퍼티 상세

let_vars 공개적으로 프로퍼티

public Dictionary let_vars
리턴 MonaParam>.Dictionary

lets 공개적으로 프로퍼티

public Cons> lets
리턴 MonaExpr>>.Cons