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
MonaFormulaDecl
C# Класс Microsoft.Automata.MSO.Mona.MonaFormulaDecl
Наследование:
MonaDecl
Показать файл
Открыть проект
Открытые свойства
Свойство
Тип
Описание
formula
MonaExpr
Открытые методы
Метод
Описание
Print
(
StringBuilder
sb
) :
void
Приватные методы
Метод
Описание
MonaFormulaDecl
(
MonaExpr
formula
) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Описание методов
Print()
публичный
Метод
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
Результат
void
Описание свойств
formula
публичное свойство
public
MonaExpr,Microsoft.Automata.MSO.Mona
formula
Результат
MonaExpr