C# Класс AskTheCode.SmtLibStandard.ExpressionWalker

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

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

Метод Описание
DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void

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

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

public DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void
expression AskTheCode.SmtLibStandard.Expression
Результат void