C# (CSharp) VC FunctionCollector.VisitExpr Examples

Example #1

        public static List <Tuple <Function, ExistsExpr> > Collect(Expr expr)
        {
            var fv = new FunctionCollector();

            fv.VisitExpr(expr);
            return(fv.functionsUsed);
        }

Example #2

File: ICEHoudini.cs Project: Chenguang-Zhu/ICE-C5

 public static List<Tuple<Function, ExistsExpr>> Collect(Expr expr)
 {
     var fv = new FunctionCollector();
     fv.VisitExpr(expr);
     return fv.functionsUsed;
 }