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
MonaVarDecls
C# 클래스 Microsoft.Automata.MSO.Mona.MonaVarDecls
상속:
MonaDecl
파일 보기
프로젝트 열기: AutomataDotNet/Automata
공개 프로퍼티들
프로퍼티
타입
설명
univs
Cons
vars
Cons
공개 메소드들
메소드
설명
Print
(
StringBuilder
sb
) :
void
비공개 메소드들
메소드
설명
MonaVarDecls
(
MonaDeclKind
kind
,
Cons
univs
,
Cons
vars
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
메소드 상세
Print()
공개
메소드
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
리턴
void
프로퍼티 상세
univs
공개적으로 프로퍼티
public
Cons
univs
리턴
Cons
vars
공개적으로 프로퍼티
public
Cons
vars
리턴
Cons