Toggle navigation
Hot Examples
FR
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Rechercher
Accueil
Microsoft
Automata
MSO
Mona
MonaQFormula
C# Class Microsoft.Automata.MSO.Mona.MonaQFormula
Inheritance:
MonaExpr
Afficher le fichier
Open project: AutomataDotNet/Automata
Méthodes publiques
Свойство
Type
Description
universes
Cons
varmap
MonaParam>.Dictionary
vars
Cons
Méthodes publiques
Méthode
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Méthode
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
méthode
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
Résultat
void
Property Details
universes
public_oe property
public
Cons
universes
Résultat
Cons
varmap
public_oe property
public
Dictionary
varmap
Résultat
MonaParam>.Dictionary
vars
public_oe property
public
Cons
vars
Résultat
Cons