Lines Matching refs:nvars
251 size_t nvars = e->vars().size();
253 for (size_t j = 0; j < nvars; j++) {
512 size_t nvars = 0;
534 nvars = 0;
535 while (nvars < maxvars || maxvars == 0) {
538 for (j = nvars; j < maxvars; j++) {
544 if (nvars == 0 || j > nvars) {
547 if (nvars == 0 && j == maxvars) {
556 if (nvars == 0) {
559 if (j > nvars) {
561 for (j = nvars; j < maxvars && !evars[j].isLarge(); j++) {
573 if (nvars == 0) {
582 for (j = nvars; j < maxvars && !evars[j].isLarge(); j++) {
598 nvars = j;
602 size_t nvars = evars.size();
605 for (size_t j = 0; j < nvars; j++) {
619 for (size_t j = 0; j < nvars; j++) {
625 for (size_t j = 0; j < nvars; j++) {
