public override Expr VisitExistsExpr(ExistsExpr 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.Exists(freeVars, bodyCopy, newTriggers);
Debug.Assert(newNode != null);
return(newNode);
}
public virtual Expr Exists(IList <Variable> freeVargs, Expr body, Trigger triggers)
{
return(UB.Exists(freeVargs, body, triggers));
}
