Toggle navigation
Hot Examples
DE
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Suchen
Home
Microsoft
Automata
MSO
Mona
MonaQBFormula
C# Class Microsoft.Automata.MSO.Mona.MonaQBFormula
Inheritance:
MonaExpr
Datei anzeigen
Open project: AutomataDotNet/Automata
Public Properties
Property
Type
Description
vars
Cons
Public Methods
Method
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Method
Description
MonaQBFormula
(
Token
quantifier
,
Cons
vars
,
MonaExpr
formula
,
MonaParam>.Dictionary
varmap
) :
System
TypeCheck
(
MonaDecl>.Dictionary
globals
,
MonaParam>.MapStack
locals
) :
void
Method Details
Print()
public
method
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
return
void
Property Details
vars
public_oe property
public
Cons
vars
return
Cons