public static void fixedVars(Op op, Set<Var> acc) { OpVarsPattern visitor = new OpVarsPattern(acc, true) ; OpWalker.walk(new OpWalkerVisitorFixed(visitor, acc), op) ; }
public static void visibleVars(Op op, Set<Var> acc) { OpVarsPattern visitor = new OpVarsPattern(acc, true) ; // Does not work yet for new walker. OpWalker.walk(new OpWalkerVisitorVisible(visitor, acc), op) ; }