| protected VisitAssumeReference ( QilNode expr ) : QilNode | ||
| expr | QilNode | |
| return | QilNode | |
protected virtual QilNode VisitAssumeReference(QilNode expr) {
if (expr is QilReference)
return VisitReference(expr);
return Visit(expr);
}
