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

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

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

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

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

Метод Описание
MonaBinaryBooleanFormula ( Token token, MonaExpr formula1, MonaExpr formula2 ) : System
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

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

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

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