Toggle navigation
Hot Examples
RU
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Найти
Главная
Microsoft
Automata
MSO
Mona
MonaUnivDecl
C# Класс Microsoft.Automata.MSO.Mona.MonaUnivDecl
Наследование:
MonaDecl
Показать файл
Открыть проект
Открытые свойства
Свойство
Тип
Описание
universe
MonaUnivArg
Открытые методы
Метод
Описание
Print
(
StringBuilder
sb
) :
void
Приватные методы
Метод
Описание
MonaUnivDecl
(
MonaUnivArg
universe
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Описание методов
Print()
публичный
Метод
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
Результат
void
Описание свойств
universe
публичное свойство
public
MonaUnivArg,Microsoft.Automata.MSO.Mona
universe
Результат
MonaUnivArg