C# Класс Microsoft.Automata.MSO.Mona.MonaVarDecl

Наследование: MonaDecl
Показать файл Открыть проект

Открытые свойства

Свойство Тип Описание
univs Cons
varwhere MonaVarWhere

Открытые методы

Метод Описание
Print ( StringBuilder sb ) : void

Приватные методы

Метод Описание
MonaVarDecl ( MonaDeclKind kind, Cons univs, MonaVarWhere vw ) : System
TypeCheck ( MonaDecl>.Dictionary glob, MonaParam>.MapStack loc ) : void

Описание методов

Print() публичный Метод

public Print ( StringBuilder sb ) : void
sb StringBuilder
Результат void

Описание свойств

univs публичное свойство

public Cons univs
Результат Cons

varwhere публичное свойство

public MonaVarWhere,Microsoft.Automata.MSO.Mona varwhere
Результат MonaVarWhere