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