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
MonaQBFormula
C# Class Microsoft.Automata.MSO.Mona.MonaQBFormula
Inheritance:
MonaExpr
Afficher le fichier
Open project: AutomataDotNet/Automata
Méthodes publiques
Свойство
Type
Description
vars
Cons
Méthodes publiques
Méthode
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Méthode
Description
MonaQBFormula
(
Token
quantifier
,
Cons
vars
,
MonaExpr
formula
,
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
vars
public_oe property
public
Cons
vars
Résultat
Cons