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

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

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

Свойство Тип Описание
let_vars MonaParam>.Dictionary
lets MonaExpr>>.Cons

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

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

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

Метод Описание
MonaLet ( Token letkind, MonaExpr>.Cons lets, MonaExpr formula, MonaParam>.Dictionary let_vars ) : System
PrintLet ( MonaExpr>.Tuple t ) : string
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

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

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

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

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

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

public Dictionary let_vars
Результат MonaParam>.Dictionary

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

public Cons> lets
Результат MonaExpr>>.Cons