AskTheCode.SmtLibStandard.ExpressionWalker.DefaultVisit C# (CSharp) Метод

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

public DefaultVisit ( AskTheCode.SmtLibStandard.Expression expression ) : void
expression AskTheCode.SmtLibStandard.Expression
Результат void
        public override void DefaultVisit(Expression expression)
        {
            foreach (var child in expression.Children)
            {
                this.Visit(child);
            }
        }
    }
ExpressionWalker