Toggle navigation
Hot Examples
KO
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
검색
홈
Microsoft
Automata
MSO
Mona
MonaLet
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