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
MonaUnivDecl
C# Class Microsoft.Automata.MSO.Mona.MonaUnivDecl
Inheritance:
MonaDecl
Datei anzeigen
Open project: AutomataDotNet/Automata
Public Properties
Property
Type
Description
universe
MonaUnivArg
Public Methods
Method
Description
Print
(
StringBuilder
sb
) :
void
Private Methods
Method
Description
MonaUnivDecl
(
MonaUnivArg
universe
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Method Details
Print()
public
method
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
return
void
Property Details
universe
public_oe property
public
MonaUnivArg,Microsoft.Automata.MSO.Mona
universe
return
MonaUnivArg