Lines Matching refs:oldsize
1036 int oldsize, snapshotsize;
1045 oldsize = solver->vInt.size();
1049 for (int i=oldsize; i <= (int)newsize; i++) {
1067 int oldsize, snapshotsize;
1074 oldsize = solver->vInt.size();
1080 if (varrsize != ++newsize - oldsize) return RANGE_ERROR;
1084 for (int i=oldsize,argi=1; i < (int)newsize; i++,argi++) {
1190 int oldsize;
1197 oldsize = solver->vInt.size();
1210 for (int i=oldsize; i <= (int)newsize; i++)
1224 int oldsize;
1231 oldsize = solver->vInt.size();
1240 for (int i=oldsize; i <= (int)newsize; i++)
5969 int oldsize;
5976 oldsize = solver->vInt.size();
5996 for (int i=oldsize; i <= (int)newsize; i++)
6010 int oldsize;
6017 oldsize = solver->vInt.size();