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

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

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

Свойство Тип Описание
universes Cons
varmap MonaParam>.Dictionary
vars Cons

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

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

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

Метод Описание
MonaQFormula ( Token quantifier, Cons vars, MonaExpr formula, Cons universes, MonaParam>.Dictionary varmap ) : System
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

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

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

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

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

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

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

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

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

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

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