private VisitAssume ( |
||
assume | ||
return |
private AssumeStatement VisitAssume(AssumeStatement assume)
{
if (assume == null) return null;
assume.booleanExpr = this.VisitExpression(assume.booleanExpr);
return assume;
}