public override Expr VisitNAryExpr(NAryExpr node) { node = (NAryExpr)node.Clone(); node.Args = base.VisitExprSeq(node.Args); if (node.Fun is FunctionCall) { var nf = node.Fun as FunctionCall; if (nf.Func != null) { node.Fun = new FunctionCall(nf.Func); } else { node.Fun = nf.createUnresolvedCopy(); } } return(node); // base.VisitNAryExpr(node); }
public override Expr VisitNAryExpr(NAryExpr node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Expr>() != null); return base.VisitNAryExpr((NAryExpr)node.Clone()); }
public override Expr VisitNAryExpr(NAryExpr node) { return(base.VisitNAryExpr((NAryExpr)node.Clone())); }
public override Expr VisitNAryExpr(NAryExpr node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result <Expr>() != null); return(base.VisitNAryExpr((NAryExpr)node.Clone())); }