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
MonaQFormula
C# Class Microsoft.Automata.MSO.Mona.MonaQFormula
Inheritance:
MonaExpr
Datei anzeigen
Open project: AutomataDotNet/Automata
Public Properties
Property
Type
Description
universes
Cons
varmap
MonaParam>.Dictionary
vars
Cons
Public Methods
Method
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Method
Description
MonaQFormula
(
Token
quantifier
,
Cons
vars
,
MonaExpr
formula
,
Cons
universes
,
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
universes
public_oe property
public
Cons
universes
return
Cons
varmap
public_oe property
public
Dictionary
varmap
return
MonaParam>.Dictionary
vars
public_oe property
public
Cons
vars
return
Cons