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