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