Toggle navigation
Hot Examples
JP
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
検索
Home
Microsoft
Automata
MSO
Mona
MonaDefaultWhereDecl
C# Class Microsoft.Automata.MSO.Mona.MonaDefaultWhereDecl
Inheritance:
MonaDecl
ファイルを表示
Open project: AutomataDotNet/Automata
Class Usage Examples
Public Properties
Property
Type
Description
formula
MonaExpr
isSecondOrder
bool
param
Token
Public Methods
Method
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Method
Description
MonaDefaultWhereDecl
(
bool
isSecondOrder
,
Token
param
,
MonaExpr
formula
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Method Details
Print()
public
method
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
return
void
Property Details
formula
public_oe property
public
MonaExpr,Microsoft.Automata.MSO.Mona
formula
return
MonaExpr
isSecondOrder
public_oe property
public
bool
isSecondOrder
return
bool
param
public_oe property
public
Token,Microsoft.Automata.MSO.Mona
param
return
Token