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