C# Class AskTheCode.SmtLibStandard.ExpressionWalker

Inheritance: AskTheCode.SmtLibStandard.ExpressionVisitor
Exibir arquivo Open project: roberthusak/AskTheCode

Public Methods

Method Description
DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void

Method Details

DefaultVisit() public method

public DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void
expression AskTheCode.SmtLibStandard.Expression
return void