Searched refs:maxFreeVars (Results 1 – 6 of 6) sorted by relevance
331 maxFreeVars = 4 enumerator456 } exists_iterator[dbCompiler::maxFreeVars];
331 maxFreeVars = 4 enumerator488 } exists_iterator[dbCompiler::maxFreeVars];
1158 if (nFreeVars >= maxFreeVars) { in term()
330 maxFreeVars = 4 enumerator487 } exists_iterator[dbCompiler::maxFreeVars];
1149 if (nFreeVars >= maxFreeVars) { in term()
1323 if (nFreeVars >= maxFreeVars) { in term()