public override Expr VisitForallExpr(ForallExpr node)
{
var bodyCopy = this.Visit(node.Body) as Expr;
Debug.Assert(bodyCopy != null);
var freeVars = new List <Variable>(node.Dummies);
var newTriggers = this.VisitTrigger(node.Triggers);
var newNode = Builder.ForAll(freeVars, bodyCopy, newTriggers);
Debug.Assert(newNode != null);
return(newNode);
}
public virtual Expr ForAll(IList <Variable> freeVars, Expr body, Trigger triggers)
{
return(UB.ForAll(freeVars, body, triggers));
}
