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
MonaDefaultWhereDecl
C# 클래스 Microsoft.Automata.MSO.Mona.MonaDefaultWhereDecl
상속:
MonaDecl
파일 보기
프로젝트 열기: AutomataDotNet/Automata
1 사용 예제들
공개 프로퍼티들
프로퍼티
타입
설명
formula
MonaExpr
isSecondOrder
bool
param
Token
공개 메소드들
메소드
설명
Print
(
StringBuilder
sb
) :
void
비공개 메소드들
메소드
설명
MonaDefaultWhereDecl
(
bool
isSecondOrder
,
Token
param
,
MonaExpr
formula
) :
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
isSecondOrder
공개적으로 프로퍼티
public
bool
isSecondOrder
리턴
bool
param
공개적으로 프로퍼티
public
Token,Microsoft.Automata.MSO.Mona
param
리턴
Token