Toggle navigation
Hot Examples
EN
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Search
Home
Microsoft
Automata
MSO
Mona
MonaDefaultWhereDecl
C# Class Microsoft.Automata.MSO.Mona.MonaDefaultWhereDecl
Inheritance:
MonaDecl
Show file
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 property
public
MonaExpr,Microsoft.Automata.MSO.Mona
formula
return
MonaExpr
isSecondOrder
public property
public
bool
isSecondOrder
return
bool
param
public property
public
Token,Microsoft.Automata.MSO.Mona
param
return
Token