| public DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void | ||
| expression | AskTheCode.SmtLibStandard.Expression | |
| return | void | |
public override void DefaultVisit(Expression expression)
{
foreach (var child in expression.Children)
{
this.Visit(child);
}
}
}