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
MonaFormulaDecl
C# Class Microsoft.Automata.MSO.Mona.MonaFormulaDecl
Inheritance:
MonaDecl
Afficher le fichier
Open project: AutomataDotNet/Automata
Méthodes publiques
Свойство
Type
Description
formula
MonaExpr
Méthodes publiques
Méthode
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Méthode
Description
MonaFormulaDecl
(
MonaExpr
formula
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Method Details
Print()
public
méthode
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
Résultat
void
Property Details
formula
public_oe property
public
MonaExpr,Microsoft.Automata.MSO.Mona
formula
Résultat
MonaExpr