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