45                 StringSet<> &nativeFunctions);
51                                      StringSet<> &nativeFunctions);
53                 StringSet<> &nativeFunctions);
54   void generate(const ast::UserRewriteDecl *decl, StringSet<> &nativeFunctions);
57                                    StringSet<> &nativeFunctions);
72   StringSet<> nativeFunctions;  in generate()  local
75   generateConstraintAndRewrites(astModule, module, nativeFunctions);  in generate()
91     generate(pattern, patternNames.back(), nativeFunctions);  in generate()
104                        StringSet<> &nativeFunctions) {  in generate()  argument
119     if (!nativeFunctions.count(fnName) ||  in generate()
136                                             StringSet<> &nativeFunctions) {  in generateConstraintAndRewrites()  argument
154                 this->generate(decl, nativeFunctions);  in generateConstraintAndRewrites()
160                        StringSet<> &nativeFunctions) {  in generate()  argument
162                                      /*isConstraint=*/true, nativeFunctions);  in generate()
166                        StringSet<> &nativeFunctions) {  in generate()  argument
168                                      /*isConstraint=*/false, nativeFunctions);  in generate()
202                                           StringSet<> &nativeFunctions) {  in generateConstraintOrRewrite()  argument
204   nativeFunctions.insert(name);  in generateConstraintOrRewrite()